mirror of
https://git.savannah.gnu.org/git/make.git
synced 2024-10-23 20:59:55 +00:00
Formerly file.c.~13~
This commit is contained in:
parent
498f1b50f7
commit
df884f9d9a
1 changed files with 1 additions and 2 deletions
3
file.c
3
file.c
|
@ -450,8 +450,7 @@ print_file_data_base ()
|
||||||
}
|
}
|
||||||
break;
|
break;
|
||||||
default:
|
default:
|
||||||
puts ("# Invalid value in `command_state
|
puts ("# Invalid value in `command_state' member!");
|
||||||
' member!");
|
|
||||||
fflush (stdout);
|
fflush (stdout);
|
||||||
fflush (stderr);
|
fflush (stderr);
|
||||||
abort ();
|
abort ();
|
||||||
|
|
Loading…
Reference in a new issue