X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fchild-simple.c;h=06cce89807522854de383ee864d278b2eac88b3a;hb=520ff4dd2a106a4d4a21468a72ba820c8ea7d242;hp=eb4cb639a093e92a5d487bcb0038c9875e16d0ec;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/userprog/child-simple.c b/src/tests/userprog/child-simple.c
index eb4cb63..06cce89 100644
--- a/src/tests/userprog/child-simple.c
+++ b/src/tests/userprog/child-simple.c
@@ -1,11 +1,15 @@
+/* Child process run by exec-multiple, exec-one, wait-simple, and
+   wait-twice tests.
+   Just prints a single message and terminates. */
+
 #include <stdio.h>
 #include "tests/lib.h"
 
-const char *test_name = "child-simple";
-
 int
 main (void) 
 {
+  test_name = "child-simple";
+
   msg ("run");
   return 81;
 }