clean up cabal.project.local~*

Make whenever cabal configure is run with new cabal, and I don't need
100 copies of that to be backed up.
This commit is contained in:
Joey Hess 2023-04-11 13:18:31 -04:00
parent 8b6c7bdbcc
commit c775b3ed70
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -36,6 +36,7 @@ tmp/configure-stamp: Build/TestConfig.hs Build/Configure.hs
if [ "$(BUILDER)" = ./Setup ]; then $(GHC) --make Setup; fi
if [ "$(BUILDER)" != stack ]; then \
$(BUILDER) configure $(BUILDERCOMMONOPTIONS) --ghc-options="$(shell Build/collect-ghc-options.sh)"; \
rm cabal.project.local~* 2>/dev/null || true; \
else \
$(BUILDER) setup $(BUILDERCOMMONOPTIONS); \
fi
@ -50,6 +51,7 @@ tmp/configure-stamp: Build/TestConfig.hs Build/Configure.hs
dev:
$(BUILDER) configure -f"-Production" \
--enable-executable-dynamic --enable-profiling
rm cabal.project.local~* 2>/dev/null || true
mkdir -p tmp
touch tmp/configure-stamp
$(MAKE) git-annex tags
@ -231,6 +233,7 @@ osxapp:
distributionupdate:
git pull
cabal configure
rm cabal.project.local~* 2>/dev/null || true
ghc -Wall -fno-warn-tabs --make Build/DistributionUpdate -XLambdaCase -XPackageImports
./Build/DistributionUpdate