diff options
| -rw-r--r-- | libraries/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/libraries/Makefile b/libraries/Makefile index b0179cae31..624427f3dc 100644 --- a/libraries/Makefile +++ b/libraries/Makefile @@ -283,9 +283,10 @@ maintainer-clean: clean distclean: clean clean: $(foreach SUBDIR,$(SUBDIRS),clean.library.$(SUBDIR)) - -cd filepath && $(CABAL) clean --distpref=dist-bootstrapping - -cd Cabal && $(CABAL) clean --distpref=dist-bootstrapping - -cd hpc && $(CABAL) clean --distpref=dist-bootstrapping + -cd extensible-exceptions && $(CABAL) clean --distpref=dist-bootstrapping + -cd filepath && $(CABAL) clean --distpref=dist-bootstrapping + -cd Cabal && $(CABAL) clean --distpref=dist-bootstrapping + -cd hpc && $(CABAL) clean --distpref=dist-bootstrapping $(RM) -rf bootstrapping $(RM) -f bootstrapping.conf bootstrapping.conf.old $(RM) -f bootstrapping.conf.tmp bootstrapping.conf.tmp.old |