From 11ca07fe6f243153796633f1ec96a60aa04cdacb Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 9 Aug 2022 10:43:07 -0400 Subject: [PATCH] don't force debuglocks flag on in Makefile Reverts a change accidentially committed in 09edb07ac5982edc8fe2987a8b477405fe9f982b debuglocks is minimal cost, but there is some and this was an accidental change --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 834a0a701f..73dffe3847 100644 --- a/Makefile +++ b/Makefile @@ -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