diff --git a/historic/jam/src/make1.c b/historic/jam/src/make1.c index a5a4cd66a..ade4c750d 100644 --- a/historic/jam/src/make1.c +++ b/historic/jam/src/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 */ diff --git a/jam_src/make1.c b/jam_src/make1.c index a5a4cd66a..ade4c750d 100644 --- a/jam_src/make1.c +++ b/jam_src/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 */