diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-06-18 15:21:03 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-06-18 15:21:03 -0400 |
| commit | afd727203041bf2565fff2b7de7e5ccea21151bc (patch) | |
| tree | 41534a8ab839fb8c32a96fb059c9369443859522 | |
| parent | 61d0f910b8b939b1c4c4aa1eb4c0d908e83c7869 (diff) | |
generate build-version file on windows autobuilder
| -rwxr-xr-x | standalone/windows/build.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/standalone/windows/build.sh b/standalone/windows/build.sh index 8751e4573..a661e8fbc 100755 --- a/standalone/windows/build.sh +++ b/standalone/windows/build.sh @@ -68,3 +68,7 @@ rm -f last-incremental-failed # (doesn't currently work well on autobuilder, reason unknown) rm -rf .t withcyg dist/build/git-annex/git-annex.exe test || true + +rm -f dist/build-version +ghc --make Build/BuildVersion.hs +Build/BuildVersion > dist/build-version |