diff --git a/src/engine/make1.c b/src/engine/make1.c index a5a4cd66a..ade4c750d 100644 --- a/src/engine/make1.c +++ b/src/engine/make1.c @@ -395,10 +395,11 @@ make1d( printf( "...failed %s ", cmd->rule->name ); list_print( lol_get( &cmd->args, 0 ) ); printf( "...\n" ); - - if( globs.quitquick ) ++intr; } + if (status == EXEC_CMD_FAIL) + if( globs.quitquick ) ++intr; + /* If the command was interrupted or failed and the target */ /* is not "precious", remove the targets */