]> git.saurik.com Git - bison.git/commitdiff
(getargs): Use EXIT_FAILURE and EXIT_SUCCESS rather than 1 and 0.
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 22 Oct 2002 05:06:21 +0000 (05:06 +0000)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 22 Oct 2002 05:06:21 +0000 (05:06 +0000)
Remove duplicate code for "Try `bison --help'".
(usage):  Add __attribute__((__noreturn__)).

src/getargs.c

index 450a9fa8f5b60d3e124f851491f29d38dcf17867..37d59859271f23343962f369465cefde02970c64 100644 (file)
@@ -155,6 +155,8 @@ report_argmatch (char *args)
 | Display the help message and exit STATUS.  |
 `-------------------------------------------*/
 
+static void usage (int) ATTRIBUTE_NORETURN;
+
 static void
 usage (int status)
 {
@@ -337,11 +339,11 @@ getargs (int argc, char *argv[])
        break;
 
       case 'h':
-       usage (0);
+       usage (EXIT_SUCCESS);
 
       case 'V':
        version ();
-       exit (0);
+       exit (EXIT_SUCCESS);
 
       case 'g':
        /* Here, the -g and --graph=FILE options are differentiated.  */
@@ -405,9 +407,7 @@ getargs (int argc, char *argv[])
        break;
 
       default:
-       fprintf (stderr, _("Try `%s --help' for more information.\n"),
-                program_name);
-       exit (1);
+       usage (EXIT_FAILURE);
       }
 
   if (argc - optind != 1)