[project @ 2002-09-25 10:32:34 by simonmar]

Clean out stamp-pkg-conf*

diff --git a/ghc/driver/Makefile b/ghc/driver/Makefile
index 88bd495..a6faed4 100644 (file)
--- a/ghc/driver/Makefile
+++ b/ghc/driver/Makefile
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------=
-# $Id: Makefile,v 1.73 2002/02/12 15:17:17 simonmar Exp $
+# $Id: Makefile,v 1.74 2002/09/25 10:32:34 simonmar Exp $
 #
 # (c) The University of Glasgow 2002
 #
@@ -20,6 +20,9 @@ package.conf :
 override datadir = $(libdir)
 INSTALL_DATAS += package.conf ghc-usage.txt
 
-CLEAN_FILES += package.conf.inplace package.conf
+# Since cleaning effectively uninstalls all the packages, we must 
+# remove the stamp files that the build system uses to avoid unnecessarily
+# re-installing packages.
+CLEAN_FILES += package.conf.inplace package.conf stamp-pkg-conf*
 
 include $(TOP)/mk/target.mk