X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fchild-close.c;h=866e159a87b4293150fc2ee6c9a647f664ef5aa1;hp=ac948c8efe6978e98960fceda85218b84a3c3415;hb=520ff4dd2a106a4d4a21468a72ba820c8ea7d242;hpb=218e4395786e51487d27ad432249c27687667b7c diff --git a/src/tests/userprog/child-close.c b/src/tests/userprog/child-close.c index ac948c8..866e159 100644 --- a/src/tests/userprog/child-close.c +++ b/src/tests/userprog/child-close.c @@ -13,11 +13,11 @@ #include #include "tests/lib.h" -const char *test_name = "child-close"; - int main (int argc UNUSED, char *argv[]) { + test_name = "child-close"; + msg ("begin"); if (!isdigit (*argv[1])) fail ("bad command-line arguments");