mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

don't force debuglocks flag on in Makefile

Browse source 
Reverts a change accidentially committed in 09edb07ac5

debuglocks is minimal cost, but there is some and this was an accidental
change
This commit is contained in:
Joey Hess 2022-08-09 10:43:07 -04:00
parent 2c1288334d
commit 11ca07fe6f
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -35,7 +35,7 @@ install-home:
tmp/configure-stamp: Build/TestConfig.hs Build/Configure.hs
if [ "$(BUILDER)" = ./Setup ]; then $(GHC) --make Setup; fi
if [ "$(BUILDER)" != stack ]; then \
$(BUILDER) configure -f debuglocks $(BUILDERCOMMONOPTIONS) --ghc-options="$(shell Build/collect-ghc-options.sh)"; \
$(BUILDER) configure $(BUILDERCOMMONOPTIONS) --ghc-options="$(shell Build/collect-ghc-options.sh)"; \
else \
$(BUILDER) setup $(BUILDERCOMMONOPTIONS); \
fi