[MLton-commit] r7147

[Matthew Fluet]

Quell warning about unused result, for systems that #define _FORTIFY_SOURCE by default.
----------------------------------------------------------------------

U   mlton/trunk/runtime/platform/displayMem.linux.c

----------------------------------------------------------------------

Modified: mlton/trunk/runtime/platform/displayMem.linux.c
===================================================================
--- mlton/trunk/runtime/platform/displayMem.linux.c	2009-06-15 17:18:08 UTC (rev 7146)
+++ mlton/trunk/runtime/platform/displayMem.linux.c	2009-06-15 21:45:16 UTC (rev 7147)
@@ -1,6 +1,9 @@
 void GC_displayMem (void) {
         static char buffer[256];
+        int res;
 
         snprintf (buffer, cardof(buffer), "/bin/cat /proc/%d/maps\n", (int)(getpid ()));
-        system (buffer);
+        res = system (buffer);
+        if (-1 == res)
+          return;
 }