X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexamples%2Fecho.c;h=1b136f21cd748e5c2563d9418b41f09c3303e01d;hb=0db48366884f3d6418217b926c4febc1bc2a3c13;hp=c0ecd004b3c4426268f6496987f2eb36831597c9;hpb=bfc9e18a6723b2315ef521282a8b42119338ece9;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;
 }