[PPL-devel] [GIT] ppl/ppl(master): Fixed uses of PPL_HAVE_DECL_GETRUSAGE.

[Roberto Bagnara]

On 07/23/11 18:25, Abramo Bagnara wrote:
> Il 23/07/2011 14:13, Roberto Bagnara ha scritto:
>> Module: ppl/ppl
>> Branch: master
>> Commit: dd51d715bd632799ef00cc9ceb5814f120927a05
>> URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd51d715bd632799ef00cc9ceb5814f120927a05
>>
>> Author: Roberto Bagnara<bagnara at cs.unipr.it>
>> Date:   Sat Jul 23 14:12:41 2011 +0200
>>
>> Fixed uses of PPL_HAVE_DECL_GETRUSAGE.
>> (Thanks to Thomas Cort.)
>>
>> ---
>>
>>   utils/timings.cc |    4 ++--
>>   1 files changed, 2 insertions(+), 2 deletions(-)
>>
>> diff --git a/utils/timings.cc b/utils/timings.cc
>> index 819d965..243cf06 100644
>> --- a/utils/timings.cc
>> +++ b/utils/timings.cc
>> @@ -51,7 +51,7 @@ static struct timeval saved_ru_utime;
>>
>>   void
>>   start_clock() {
>> -#if defined(PPL_HAVE_DECL_GETRUSAGE)&&  defined(PPL_HAVE_TIMEVAL)
>> +#if PPL_HAVE_DECL_GETRUSAGE&&  defined(PPL_HAVE_TIMEVAL)
>>     struct rusage rsg;
>>     if (getrusage(RUSAGE_SELF,&rsg) != 0) {
>>       cerr<<  "getrusage failed: "<<  strerror(errno)<<  endl;
>> @@ -64,7 +64,7 @@ start_clock() {
>>
>>   void
>>   print_clock(ostream&  s) {
>> -#if defined(PPL_HAVE_DECL_GETRUSAGE)&&  defined(PPL_HAVE_TIMEVAL)
>> +#if PPL_HAVE_DECL_GETRUSAGE&&  defined(PPL_HAVE_TIMEVAL)
>
> Come mai questa asimmetria?

This is due to Autoconf (see the manual).

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it