mirror of
https://git.savannah.gnu.org/git/make.git
synced 2024-10-23 20:59:55 +00:00
Formerly commands.c.~12~
This commit is contained in:
parent
0e4062c177
commit
04b7426dfa
1 changed files with 3 additions and 0 deletions
|
@ -357,6 +357,9 @@ execute_file_commands (file)
|
|||
break;
|
||||
if (*p == '\0')
|
||||
{
|
||||
/* We are all out of commands.
|
||||
If we have gotten this far, all the previous commands
|
||||
have run successfully, so we have winning update status. */
|
||||
file->update_status = 0;
|
||||
notice_finished_file (file);
|
||||
return;
|
||||
|
|
Loading…
Reference in a new issue