Clean up handling of stack frames.

[pintos-anon] / src / threads / init.c

diff --git a/src/threads/init.c b/src/threads/init.c
index 3eb45add76b9a74a4828648974a83fde4ae7f00a..da1a98c69da9bcd70374255b98bf591d106b1051 100644 (file)
--- 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) 
 {
-  thread_execute ("a.out");
+  printk ("execute=%d\n", (int) thread_execute ("a.out"));
 }
 
 int