blob: 7d119e69c5d00d71e94d3eab063c7cea4667794d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
$NetBSD: patch-utils_System.cc,v 1.2 2014/01/09 14:38:33 jperkin Exp $
Support NetBSD.
--- utils/System.cc.orig 2010-07-10 16:07:36.000000000 +0000
+++ utils/System.cc
@@ -72,13 +72,13 @@ double Minisat::memUsedPeak() {
double peak = memReadPeak() / 1024;
return peak == 0 ? memUsed() : peak; }
-#elif defined(__FreeBSD__)
+#elif defined(__NetBSD__) || defined(__FreeBSD__)
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__)
@@ -92,4 +92,6 @@ double Minisat::memUsed(void) {
#else
double Minisat::memUsed() {
return 0; }
+double Minisat::memUsedPeak() {
+ return 0; }
#endif
|
