X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexamples%2Finsult.c;h=98c4e6aebae157c63794b3aaf9c2c6e5c33468b7;hb=3f6660db7e24d6efb4c4b5136131ca8ebfa54bde;hp=442a3ec353766f49caa04b4e87940399799f3801;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;p=pintos-anon

diff --git a/src/examples/insult.c b/src/examples/insult.c
index 442a3ec..98c4e6a 100644
--- a/src/examples/insult.c
+++ b/src/examples/insult.c
@@ -263,7 +263,7 @@ usage (int ret_code, const char *message, ...)
           "  -h:               this help message\n"
           "  -s <integer>:     set the random seed (default 4951)\n"
           "  -n <integer>:     choose number of insults (default 4)\n"
-          "  -f <filename>:    redirect output to a File.\n");
+          "  -f <file>:        redirect output to <file>\n");
 
   exit (ret_code);
 }
@@ -319,7 +319,7 @@ main (int argc, char *argv[])
           if (handle < 0)
             {
               printf ("%s: open failed\n", argv[i]);
-              return -1;
+              return EXIT_FAILURE;
             }
 	}
       else
@@ -341,7 +341,7 @@ main (int argc, char *argv[])
   if (file_flag)
     close (handle);
 
-  return 0;
+  return EXIT_SUCCESS;
 }
 
 void