Follow-up Comment #1, bug #56301 (project make):
Here is a fix.
diff --git a/src/main.c b/src/main.c
index bcba2d1..5c1a7da 100644
--- a/src/main.c
+++ b/src/main.c
@@ -2305,6 +2305,8 @@ main (int argc, char **argv, char **envp)
any_remade |= (mtime != NONEXISTENT_MTIME
&& mtime != makefile_mtimes[i]);
makefile_status = MAKE_FAILURE;
+ if (!keep_going_flag)
+ any_failed = 1;
}
}
else
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?56301>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/