| 123456789101112131415161718192021222324 |
- $OpenBSD: patch-utils_System_cc,v 1.1 2010/08/19 14:19:22 edd Exp $
- * memUsed is the same as FreeBSD
- * namespace typo
- --- utils/System.cc.orig Sat Jul 10 17:07:36 2010
- +++ utils/System.cc Tue Jul 13 10:26:09 2010
- @@ -72,13 +72,13 @@ double Minisat::memUsedPeak() {
- double peak = memReadPeak() / 1024;
- return peak == 0 ? memUsed() : peak; }
-
- -#elif defined(__FreeBSD__)
- +#elif defined(__FreeBSD__) || defined(__OpenBSD__)
-
- double Minisat::memUsed(void) {
- struct rusage ru;
- getrusage(RUSAGE_SELF, &ru);
- return (double)ru.ru_maxrss / 1024; }
- -double MiniSat::memUsedPeak(void) { return memUsed(); }
- +double Minisat::memUsedPeak(void) { return memUsed(); }
-
-
- #elif defined(__APPLE__)
|
