X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexamples%2Fcp.c;h=86a5cd7562fcf633d65206ac9e5be7873859f741;hb=0db48366884f3d6418217b926c4febc1bc2a3c13;hp=0c8c1a5d673c98fba8af1e9a87dccfc2c71c9150;hpb=bfc9e18a6723b2315ef521282a8b42119338ece9;p=pintos-anon

diff --git a/src/examples/cp.c b/src/examples/cp.c
index 0c8c1a5..86a5cd7 100644
--- a/src/examples/cp.c
+++ b/src/examples/cp.c
@@ -13,7 +13,7 @@ main (int argc, char *argv[])
   if (argc != 3) 
     {
       printf ("usage: cp OLD NEW\n");
-      return 1;
+      return EXIT_FAILURE;
     }
 
   /* Open input file. */
@@ -21,20 +21,20 @@ main (int argc, char *argv[])
   if (in_fd < 0) 
     {
       printf ("%s: open failed\n", argv[1]);
-      return 1;
+      return EXIT_FAILURE;
     }
 
   /* Create and open output file. */
   if (!create (argv[2], filesize (in_fd))) 
     {
       printf ("%s: create failed\n", argv[2]);
-      return 1;
+      return EXIT_FAILURE;
     }
   out_fd = open (argv[2]);
   if (out_fd < 0) 
     {
       printf ("%s: open failed\n", argv[2]);
-      return 1;
+      return EXIT_FAILURE;
     }
 
   /* Copy data. */
@@ -47,9 +47,9 @@ main (int argc, char *argv[])
       if (write (out_fd, buffer, bytes_read) != bytes_read) 
         {
           printf ("%s: write failed\n", argv[2]);
-          return 1;
+          return EXIT_FAILURE;
         }
     }
 
-  return 0;
+  return EXIT_SUCCESS;
 }