Makefile: Use $(MAKE) instead of plain 'make'.

[pintos-anon] / src / tests / vm / page-merge-seq.c

diff --git a/src/tests/vm/page-merge-seq.c b/src/tests/vm/page-merge-seq.c
index f41de2bb7b800359b0e5425a1ce1b74db775a0ab..12e388093fd9b77b2f09e31ac70e4f1829bf72d4 100644 (file)
--- a/src/tests/vm/page-merge-seq.c
+++ b/src/tests/vm/page-merge-seq.c
@@ -1,3 +1,8 @@
+/* Generates about 1 MB of random data that is then divided into
+   16 chunks.  A separate subprocess sorts each chunk in
+   sequence.  Then we merge the chunks and verify that the result
+   is what it should be. */
+
 #include <syscall.h>
 #include "tests/arc4.h"
 #include "tests/lib.h"