X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fchild-rox.c;fp=src%2Ftests%2Fuserprog%2Fchild-rox.c;h=6fb2fc97a3e05d84c8b2cad62b129bc638f71a9b;hp=aba808bde2b52dde3b559d31fd3e9e75771140da;hb=520ff4dd2a106a4d4a21468a72ba820c8ea7d242;hpb=218e4395786e51487d27ad432249c27687667b7c

diff --git a/src/tests/userprog/child-rox.c b/src/tests/userprog/child-rox.c
index aba808b..6fb2fc9 100644
--- a/src/tests/userprog/child-rox.c
+++ b/src/tests/userprog/child-rox.c
@@ -10,8 +10,6 @@
 #include <syscall.h>
 #include "tests/lib.h"
 
-const char *test_name = "child-rox";
-
 static void
 try_write (void) 
 {
@@ -31,6 +29,8 @@ try_write (void)
 int
 main (int argc UNUSED, char *argv[]) 
 {
+  test_name = "child-rox";
+
   msg ("begin");
   try_write ();