X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fthreads%2Finit.c;h=f2476124da7d2a0a7a597d312da5715cb1985943;hb=44d0fa6a2b24a84e5eb0d54959ed91c1d4f15343;hp=234c41eb249c64def96f49d22d6775c3d3ee52ba;hpb=4ba2bcacdde59e70754df916dcee39e45d564441;p=pintos-anon

diff --git a/src/threads/init.c b/src/threads/init.c
index 234c41e..f247612 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -32,7 +32,7 @@ void power_off (void);
 static void
 main_thread (void *aux UNUSED) 
 {
-  printk ("execute=%d\n", (int) thread_execute ("a.out"));
+  thread_execute ("a.out");
 }
 
 int
@@ -71,7 +71,6 @@ main (void)
 
 #ifdef FILESYS
   filesys_init (false);
-  filesys_self_test ();
 #endif
 
   thread_init ();