mirrors/make
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/make.git synced 2024-10-23 12:50:00 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Formerly main.c.~81~

Browse source
This commit is contained in:
Roland McGrath 1993-05-14 21:50:11 +00:00
parent 3f15ef960a
commit 3d952e5879
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
main.c
View file

@ -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