diff options
Diffstat (limited to 'mk/cabal.mk')
| -rw-r--r-- | mk/cabal.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mk/cabal.mk b/mk/cabal.mk index efd75e20c9..3d525d7739 100644 --- a/mk/cabal.mk +++ b/mk/cabal.mk @@ -56,6 +56,7 @@ install: clean: -$(CABAL) clean --distpref dist-inplace -$(CABAL) clean --distpref dist-install + $(RM) -rf install-inplace ifneq "$(EXTRA_CLEAN)" "" $(RM) -f $(EXTRA_CLEAN) endif |