Add EXIT_FAILURE, EXIT_SUCCESS to syscall.h,
[pintos-anon] / src / examples / echo.c
index c0ecd004b3c4426268f6496987f2eb36831597c9..1b136f21cd748e5c2563d9418b41f09c3303e01d 100644 (file)
@@ -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;
 }