diff options
author | Joey Hess <joey@kitenet.net> | 2013-12-07 11:21:41 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-12-07 11:21:41 -0400 |
commit | a9baa09939a2c4e1291af98de716572dacd563f6 (patch) | |
tree | 0ac9816d8c5a1b27ef128740ae863fcae07730f3 | |
parent | 52fa716a498ebbd3074011eb179658c135378ff3 (diff) |
windooows
-rwxr-xr-x | standalone/windows/build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/standalone/windows/build.sh b/standalone/windows/build.sh index 6384353a9..9f51c52f4 100755 --- a/standalone/windows/build.sh +++ b/standalone/windows/build.sh @@ -46,7 +46,8 @@ touch last-incremental-failed # Build git-annex withcyg cabal configure -f-WebApp -withcyg cabal build || true +withcyg cabal build || true +rm -f Build/EvilLinker.exe ghc --make Build/EvilLinker Build/EvilLinker |