X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexamples%2Fecho.c;h=1b136f21cd748e5c2563d9418b41f09c3303e01d;hb=cd61e4747c8d597c302f0ef3f1b0a2b6ed5ce890;hp=c0ecd004b3c4426268f6496987f2eb36831597c9;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/examples/echo.c b/src/examples/echo.c
index c0ecd00..1b136f2 100644
--- a/src/examples/echo.c
+++ b/src/examples/echo.c
@@ -1,4 +1,5 @@
 #include <stdio.h>
+#include <syscall.h>
 
 int
 main (int argc, char **argv)
@@ -9,5 +10,5 @@ main (int argc, char **argv)
     printf ("%s ", argv[i]);
   printf ("\n");
 
-  return 0;
+  return EXIT_SUCCESS;
 }