Rename displayMem.linux.c to displayMem.proc.c, as it is used by more than just linux.
----------------------------------------------------------------------
D mlton/trunk/runtime/platform/displayMem.linux.c
A mlton/trunk/runtime/platform/displayMem.proc.c
U mlton/trunk/runtime/platform/hurd.c
U mlton/trunk/runtime/platform/linux.c
U mlton/trunk/runtime/platform/netbsd.c
U mlton/trunk/runtime/platform/openbsd.c
----------------------------------------------------------------------
Deleted: mlton/trunk/runtime/platform/displayMem.linux.c
===================================================================
--- mlton/trunk/runtime/platform/displayMem.linux.c 2010-05-28 17:41:12 UTC (rev 7470)
+++ mlton/trunk/runtime/platform/displayMem.linux.c 2010-05-28 17:41:15 UTC (rev 7471)
@@ -1,9 +0,0 @@
-void GC_displayMem (void) {
- static char buffer[256];
- int res;
-
- snprintf (buffer, cardof(buffer), "/bin/cat /proc/%d/maps\n", (int)(getpid ()));
- res = system (buffer);
- if (-1 == res)
- return;
-}
Copied: mlton/trunk/runtime/platform/displayMem.proc.c (from rev 7470, mlton/trunk/runtime/platform/displayMem.linux.c)
===================================================================
--- mlton/trunk/runtime/platform/displayMem.linux.c 2010-05-28 17:41:12 UTC (rev 7470)
+++ mlton/trunk/runtime/platform/displayMem.proc.c 2010-05-28 17:41:15 UTC (rev 7471)
@@ -0,0 +1,9 @@
+void GC_displayMem (void) {
+ static char buffer[256];
+ int res;
+
+ snprintf (buffer, cardof(buffer), "/bin/cat /proc/%d/maps\n", (int)(getpid ()));
+ res = system (buffer);
+ if (-1 == res)
+ return;
+}
Modified: mlton/trunk/runtime/platform/hurd.c
===================================================================
--- mlton/trunk/runtime/platform/hurd.c 2010-05-28 17:41:12 UTC (rev 7470)
+++ mlton/trunk/runtime/platform/hurd.c 2010-05-28 17:41:15 UTC (rev 7471)
@@ -3,7 +3,7 @@
#include "platform.h"
#include "diskBack.unix.c"
-#include "displayMem.linux.c"
+#include "displayMem.proc.c"
#include "mmap-protect.c"
#include "nonwin.c"
#include "use-mmap.c"
Modified: mlton/trunk/runtime/platform/linux.c
===================================================================
--- mlton/trunk/runtime/platform/linux.c 2010-05-28 17:41:12 UTC (rev 7470)
+++ mlton/trunk/runtime/platform/linux.c 2010-05-28 17:41:15 UTC (rev 7471)
@@ -3,7 +3,7 @@
#include "platform.h"
#include "diskBack.unix.c"
-#include "displayMem.linux.c"
+#include "displayMem.proc.c"
#include "mmap-protect.c"
#include "nonwin.c"
#include "use-mmap.c"
Modified: mlton/trunk/runtime/platform/netbsd.c
===================================================================
--- mlton/trunk/runtime/platform/netbsd.c 2010-05-28 17:41:12 UTC (rev 7470)
+++ mlton/trunk/runtime/platform/netbsd.c 2010-05-28 17:41:15 UTC (rev 7471)
@@ -1,7 +1,7 @@
#include "platform.h"
#include "diskBack.unix.c"
-#include "displayMem.linux.c"
+#include "displayMem.proc.c"
#include "mmap-protect.c"
#include "nonwin.c"
#include "sysctl.c"
Modified: mlton/trunk/runtime/platform/openbsd.c
===================================================================
--- mlton/trunk/runtime/platform/openbsd.c 2010-05-28 17:41:12 UTC (rev 7470)
+++ mlton/trunk/runtime/platform/openbsd.c 2010-05-28 17:41:15 UTC (rev 7471)
@@ -1,7 +1,7 @@
#include "platform.h"
#include "diskBack.unix.c"
-#include "displayMem.linux.c"
+#include "displayMem.proc.c"
#include "mmap-protect.c"
#include "nonwin.c"
#include "sysctl.c"