Git development
 help / color / mirror / Atom feed
* [PATCH] Move deletion of configure generated files to distclean
@ 2008-06-21  0:57 shire
  2008-06-21  1:28 ` Miklos Vajna
  2008-06-21  1:35 ` Stephan Beyer
  0 siblings, 2 replies; 4+ messages in thread
From: shire @ 2008-06-21  0:57 UTC (permalink / raw)
  To: git


Running "make clean" also requires a run of "./configure ..." again  
because it deletes auto-generated files, which I found a little  
unexpected.  I figured I'd mention it as I'm not sure if this is  
confusing for other users or intended functionality of "make clean"  
vs. "make distclean", I would assume that the first would not revert  
configuration changes.

Signed-off-by: Brian Shire <shire@tekrat.com>

---
  Makefile |    2 +-
  1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/Makefile b/Makefile
index b003e3e..f868b0b 100644
--- a/Makefile
+++ b/Makefile
@@ -1346,6 +1346,7 @@ dist-doc:
  ### Cleaning rules

  distclean: clean
+	$(RM) config.log config.mak.autogen config.mak.append config.status  
config.cache
  	$(RM) configure

  clean:
@@ -1355,7 +1356,6 @@ clean:
  	$(RM) $(TEST_PROGRAMS)
  	$(RM) *.spec *.pyc *.pyo */*.pyc */*.pyo common-cmds.h TAGS tags  
cscope*
  	$(RM) -r autom4te.cache
-	$(RM) config.log config.mak.autogen config.mak.append config.status  
config.cache
  	$(RM) -r $(GIT_TARNAME) .doc-tmp-dir
  	$(RM) $(GIT_TARNAME).tar.gz git-core_$(GIT_VERSION)-*.tar.gz
  	$(RM) $(htmldocs).tar.gz $(manpages).tar.gz
-- 
1.5.6.dirty

^ permalink raw reply related	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2008-06-21  7:34 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2008-06-21  0:57 [PATCH] Move deletion of configure generated files to distclean shire
2008-06-21  1:28 ` Miklos Vajna
2008-06-21  1:35 ` Stephan Beyer
2008-06-21  7:33   ` shire

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox