From 654981f3f09f8f44ca493334e4a2a369fa366492 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Wed, 21 Nov 2018 11:15:16 -0400 Subject: [PATCH] actually, skip stack setup stack build will do setup if necessary, and setup does not accept all the options that build does --- Makefile | 2 -- 1 file changed, 2 deletions(-) diff --git a/Makefile b/Makefile index 48111dd11c..ba6d831fa9 100644 --- a/Makefile +++ b/Makefile @@ -22,8 +22,6 @@ tmp/configure-stamp: Build/TestConfig.hs Build/Configure.hs if [ "$(BUILDER)" = ./Setup ]; then ghc --make Setup; fi if [ "$(BUILDER)" != stack ]; then \ $(BUILDER) configure --ghc-options="$(shell Build/collect-ghc-options.sh)"; \ - else \ - $(BUILDER) setup $(BUILDEROPTIONS); \ fi mkdir -p tmp touch tmp/configure-stamp