diff options
| -rw-r--r-- | .darcs-boring | 1 | ||||
| -rw-r--r-- | driver/Makefile | 6 |
2 files changed, 3 insertions, 4 deletions
diff --git a/.darcs-boring b/.darcs-boring index a8cbc59bf3..c96551c0fd 100644 --- a/.darcs-boring +++ b/.darcs-boring @@ -227,7 +227,6 @@ package.conf.installed$ ^driver/package.conf.inplace.old$ ^driver/split/ghc-split$ ^driver/split/ghc-split.prl$ -^driver/stamp-pkg-conf-ghc$ ^driver/stamp-pkg-conf-rts$ ^includes/DerivedConstants.h$ ^includes/GHCConstants.h$ diff --git a/driver/Makefile b/driver/Makefile index 7953d5f353..f552a36e34 100644 --- a/driver/Makefile +++ b/driver/Makefile @@ -19,12 +19,12 @@ boot all :: test -e $(INPLACE_PKG_CONF) || echo "[]" > $(INPLACE_PKG_CONF) touch $(INPLACE_FILE) -INSTALL_DATAS += package.conf ghc-usage.txt ghci-usage.txt +INSTALL_DATAS += ghc-usage.txt ghci-usage.txt # 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* stamp-pkg-conf* +# re-installing the RTS +CLEAN_FILES += stamp-pkg-conf-rts binary-dist: for FILE in Makefile $(INSTALL_DATAS); do echo $(WHERE_AM_I)/$$FILE >> $(BIN_DIST_LIST); done |