Oui si tu kill un make il reprend où il en est, c'est utile à savoir (suite à Ctrl-C par exemple).
Tu peux lancer ta compilation à travers un
screen ce qui te permet de fermer putty puis de revenir plus tard comme si tu n'étais pas parti.
Ah oui aussi si tu as un multi-coeur, tu peux faire un
make -j c'est plus rapide
