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

diff --git a/Makefile b/Makefile
index 834a0a701f9cd9046182d005c98b072345de9268..73dffe3847f1c8c6858ce13e5ab1a91d3c873bef 100644 (file)
--- 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