Chez moi, même si je ne change aucun fichier entre deux appels à make, tout un tas de choses sont (re)faites. Cela diminue grandement l'interet de make... Désolé, je n'ai pas du tout creusé le problème, pas regardé quand c'était apparu, ni même regardé le Makefile.
Chez moi, même si je ne change aucun fichier entre deux appels à make, tout un tas de choses sont (re)faites. Cela diminue grandement l'interet de make... Désolé, je n'ai pas du tout creusé le problème, pas regardé quand c'était apparu, ni même regardé le Makefile.