X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=589a23efc5b0ec779068052dcbbaaa136f036200;hp=729c25ffcd528957ea96e5f22cf2cf1a439d2cfb;hb=9eb8439ff5957091606e0ca9dc184a333d748274;hpb=7d6f6e3a89bff0dfda2434505acd3955f55f8537

diff --git a/src/threads/init.c b/src/threads/init.c
index 729c25f..589a23e 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -18,6 +18,7 @@
 #include "threads/mmu.h"
 #include "threads/paging.h"
 #include "threads/palloc.h"
+#include "threads/test.h"
 #include "threads/thread.h"
 #ifdef USERPROG
 #include "userprog/exception.h"
@@ -105,6 +106,8 @@ main (void)
       printf ("\nExecuting '%s':\n", initial_program);
       thread_execute (initial_program); 
     }
+#else
+  test ();
 #endif
 
   /* Terminate this thread. */