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/