mirror of
https://github.com/mirror/make.git
synced 2025-03-25 01:00:30 +08:00
Formerly main.c.~68~
This commit is contained in:
parent
e07db8077c
commit
2bff7aa420
15
main.c
15
main.c
@ -993,10 +993,6 @@ main (argc, argv, envp)
|
||||
}
|
||||
}
|
||||
|
||||
/* Print the data base under -p. */
|
||||
if (print_data_base_flag)
|
||||
print_data_base ();
|
||||
|
||||
if (goals == 0)
|
||||
{
|
||||
if (read_makefiles == 0)
|
||||
@ -1349,8 +1345,12 @@ decode_env_switches (envar, len)
|
||||
args[(value[0] == '-' ? 0 : 1) + len + 1] = '\0';
|
||||
|
||||
/* Allocate a vector that is definitely big enough. */
|
||||
argv = (char **) alloca (len * sizeof (char *));
|
||||
argc = 0;
|
||||
argv = (char **) alloca (1 + len * sizeof (char *));
|
||||
|
||||
/* getopt will look at the arguments starting at ARGV[1].
|
||||
Prepend a spacer word. */
|
||||
argv[0] = 0;
|
||||
argc = 1;
|
||||
do
|
||||
{
|
||||
argv[argc++] = args;
|
||||
@ -1591,6 +1591,9 @@ die (status)
|
||||
/* Remove the intermediate files. */
|
||||
remove_intermediates (0);
|
||||
|
||||
if (print_data_base_flag)
|
||||
print_data_base ();
|
||||
|
||||
if (print_directory_flag)
|
||||
log_working_directory (0);
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user