This commit is contained in:
Joey Hess 2017-10-25 00:19:10 -04:00
parent edcce072a6
commit 2a2e30f729
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -70,6 +70,7 @@ withcygpreferred stack ghc --stack-yaml standalone/windows/stack.yaml --no-haddo
./Build/NullSoftInstaller ./Build/NullSoftInstaller
rm -f dist/build-version rm -f dist/build-version
mkdir -p dist
stack ghc --stack-yaml standalone/windows/stack.yaml --no-haddock \ stack ghc --stack-yaml standalone/windows/stack.yaml --no-haddock \
Build/BuildVersion.hs > dist/build-version Build/BuildVersion.hs > dist/build-version
./Build/BuildVersion ./Build/BuildVersion