Path: ...!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder8.news.weretis.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Thomas Newsgroups: fr.comp.os.unix Subject: Makefiles : make clean distclean Supersedes: Date: Sat, 06 May 2023 04:27:48 +0200 Organization: A noiseless patient Spider Lines: 14 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: 8bit Injection-Info: dont-email.me; posting-host="8dca5756c298cf1eafca6f772a1b719f"; logging-data="2834621"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18evE88hFbBBcpoZYN05IeVLCiTT66joKU=" User-Agent: MT-NewsWatcher/3.5.3b3 (Intel Mac OS X) Cancel-Key: sha1:BCK4JiTl1dlCqhncZOGqXF2sPPY= Cancel-Lock: sha1:ikXPn7lHjXz3E6s9bbG2hq5Znu8= Mail-Copies-To: nobody Bytes: 1404 bonjour :-) est-ce que c'est mieux que les choses soient gérées pas trop salement quand l'usager exécute $ make clean distclean (bugs ? optimisation ?) ou est-ce que tout le monde s'en fiche parce que personne ne le fait jamais ? -- RAPID maintainer http://savannah.nongnu.org/projects/rapid/