mirror of
https://git.savannah.gnu.org/git/make.git
synced 2024-12-29 08:09:02 +00:00
Formerly read.c.~51~
This commit is contained in:
parent
6925f7153a
commit
c2b69b5d9d
1 changed files with 3 additions and 1 deletions
4
read.c
4
read.c
|
@ -388,7 +388,7 @@ read_makefile (filename, type)
|
||||||
p2 = next_token (p + 8);
|
p2 = next_token (p + 8);
|
||||||
if (p2 == 0)
|
if (p2 == 0)
|
||||||
makefile_error (filename, lineno, "empty `override' directive");
|
makefile_error (filename, lineno, "empty `override' directive");
|
||||||
if (!strncmp (p2, "define", 6))
|
if (!strncmp (p2, "define", 6) && (isblank (p2[6]) || p2[6] == '\0'))
|
||||||
{
|
{
|
||||||
if (ignoring)
|
if (ignoring)
|
||||||
in_ignored_define = 1;
|
in_ignored_define = 1;
|
||||||
|
@ -403,6 +403,8 @@ read_makefile (filename, type)
|
||||||
}
|
}
|
||||||
else if (!ignoring && !try_variable_definition (p2, o_override))
|
else if (!ignoring && !try_variable_definition (p2, o_override))
|
||||||
makefile_error (filename, lineno, "empty `override' directive");
|
makefile_error (filename, lineno, "empty `override' directive");
|
||||||
|
|
||||||
|
continue;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue