So che posso interrompere un make
processo in qualsiasi momento senza dover ricompilare nuovamente l'intero albero dei sorgenti. Come so, make
compila un target solo se non è stato ancora compilato, oppure il codice sorgente viene modificato dopo l'ultima compilazione.
Ma se interrompo make
, ci saranno sicuramente uno o più binari mezzo pronti (a seconda del livello di concorrenza). Cosa ci fa la prossima volta che corro make
? Oppure termina l'obiettivo corrente quando premo Ctrl+ Cper evitare i binari parzialmente compilati?