diff --git a/src/engine/make1.c b/src/engine/make1.c index 931cb88c7..01076cfbf 100644 --- a/src/engine/make1.c +++ b/src/engine/make1.c @@ -208,6 +208,9 @@ make1( TARGET *t ) { while((pState = current_state(&state_stack)) != NULL) { + if (intr) + pop_state(&state_stack); + switch(pState->curstate) { case T_STATE_MAKE1A: