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

actually, skip stack setup

Browse source 
stack build will do setup if necessary, and setup does not accept all
the options that build does
This commit is contained in:
Joey Hess 2018-11-21 11:15:16 -04:00
parent 60ba0371b6
commit 654981f3f0
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -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