diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-08-17 13:57:47 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-08-17 13:57:47 -0400 |
commit | 099e701bdbf1830baf22d995f803eecca26eb03f (patch) | |
tree | f0529ad0a1c8b0d136c3ca43fa7156eff7205010 | |
parent | da0a1360d7b57d034620338996552752ab873045 (diff) |
temporarily --force-reinstalls
-rwxr-xr-x | standalone/windows/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/standalone/windows/build.sh b/standalone/windows/build.sh index 48e78e7ed..ea722ca5b 100755 --- a/standalone/windows/build.sh +++ b/standalone/windows/build.sh @@ -43,6 +43,7 @@ cabal install --only-dependencies \ --constraint='persistent-sqlite ==2.2' \ --constraint='cryptonite ==0.7' \ --constraint='mwc-random ==0.13.3.2' \ + --force-reinstalls \ || true # Detect when the last build was an incremental build and failed, |