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

diff --git a/src/tests/userprog/child-simple.c b/src/tests/userprog/child-simple.c
index 0d2dacf..06cce89 100644
--- a/src/tests/userprog/child-simple.c
+++ b/src/tests/userprog/child-simple.c
@@ -5,11 +5,11 @@
 #include <stdio.h>
 #include "tests/lib.h"
 
-const char *test_name = "child-simple";
-
 int
 main (void) 
 {
+  test_name = "child-simple";
+
   msg ("run");
   return 81;
 }