diff options
author | Joey Hess <joey@kitenet.net> | 2013-12-09 15:38:57 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-12-09 15:38:57 -0400 |
commit | 4272f39f126daef7621f0c922eb00084c994abc6 (patch) | |
tree | e361821e9df181fac6b9a3d74ec0430e40e18cf0 /standalone/windows/build-simple.sh | |
parent | ce5bbf184c167aa7b7aec20cb9447263a49bc294 (diff) |
avoid using EvilLinker when regular cabal build succeeds
Diffstat (limited to 'standalone/windows/build-simple.sh')
-rwxr-xr-x | standalone/windows/build-simple.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/standalone/windows/build-simple.sh b/standalone/windows/build-simple.sh index 0da8e23d7..f00a58b0c 100755 --- a/standalone/windows/build-simple.sh +++ b/standalone/windows/build-simple.sh @@ -26,6 +26,7 @@ cabal install --only-dependencies || true if [ ! -e "dist/setup-config" ]; then withcyg cabal configure fi -withcyg cabal build || true -ghc --make Build/EvilLinker -withcyg Build/EvilLinker +if ! withcyg cabal build; then + ghc --make Build/EvilLinker + withcyg Build/EvilLinker +fi |