diff options
author | Joey Hess <joey@kitenet.net> | 2013-12-06 21:12:47 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-12-06 21:12:47 -0400 |
commit | 445fde844662d32f2ab04116c8c1098e57660adc (patch) | |
tree | 8a4816520abb0d864b8e85c54d23f80b1cd65e86 /standalone | |
parent | 5a795c7f7b12429a7003c27e740579248c94a628 (diff) |
avoid re-configuring
Diffstat (limited to 'standalone')
-rwxr-xr-x | standalone/windows/build-simple.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/standalone/windows/build-simple.sh b/standalone/windows/build-simple.sh index 616c8146b..0da8e23d7 100755 --- a/standalone/windows/build-simple.sh +++ b/standalone/windows/build-simple.sh @@ -23,7 +23,9 @@ withcyg () { cabal install --only-dependencies || true # Build git-annex -withcyg cabal configure +if [ ! -e "dist/setup-config" ]; then + withcyg cabal configure +fi withcyg cabal build || true ghc --make Build/EvilLinker withcyg Build/EvilLinker |