[GIT] ppl/ppl(master): Fixed uses of PPL_HAVE_DECL_GETRUSAGE.
Module: ppl/ppl Branch: master Commit: dd51d715bd632799ef00cc9ceb5814f120927a05 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd51d715bd632... Author: Roberto Bagnara <bagnara@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) struct rusage rsg; if (getrusage(RUSAGE_SELF, &rsg) != 0) { cerr << "getrusage failed: " << strerror(errno) << endl;
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=dd51d715bd632...
Author: Roberto Bagnara <bagnara@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? -- Abramo Bagnara Opera Unica Phone: +39.0546.656023 Via Borghesi, 16 48014 Castel Bolognese (RA) - Italy
Il 23/07/2011 18:25, Abramo Bagnara ha scritto:
Come mai questa asimmetria?
Sorry, this message was not meant to be sent to the list. -- Abramo Bagnara Opera Unica Phone: +39.0546.656023 Via Borghesi, 16 48014 Castel Bolognese (RA) - Italy
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=dd51d715bd632...
Author: Roberto Bagnara<bagnara@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@cs.unipr.it
participants (2)
-
Abramo Bagnara -
Roberto Bagnara