diff options
author | Roland McGrath <roland@redhat.com> | 1993-05-14 21:50:11 +0000 |
---|---|---|
committer | Roland McGrath <roland@redhat.com> | 1993-05-14 21:50:11 +0000 |
commit | 3d952e5879461aa26727374df7bef32c3d92c35d (patch) | |
tree | 054adfef7036eb344ba82ca48bb8fd18d3078089 | |
parent | 3f15ef960affd8e1559559637c1e0b5de4d06163 (diff) | |
download | gunmake-3d952e5879461aa26727374df7bef32c3d92c35d.tar.gz |
Formerly main.c.~81~
-rw-r--r-- | main.c | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -290,7 +290,7 @@ static const struct command_switch switches[] = "Touch targets instead of remaking them" }, { 'v', flag, (char *) &print_version_flag, 1, 1, 0, 0, 0, "version", 0, - "Print the version number of make" }, + "Print the version number of make and exit" }, { 'w', flag, (char *) &print_directory_flag, 1, 1, 0, 0, 0, "print-directory", 0, "Print the current directory" }, @@ -498,6 +498,10 @@ main (argc, argv, envp) if (print_version_flag || print_data_base_flag || debug_flag) print_version (); + /* `make --version' is supposed to just print the version and exit. */ + if (print_version_flag) + die (1); + /* Search for command line arguments that define variables, and do the definitions. Also save up the text of these arguments in CMD_DEFS so we can put them into the values |