diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-12-05 17:24:07 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-12-05 17:24:07 -0400 |
| commit | 7af595d1d7eb0a8bc278bd44d802ff10b9e19571 (patch) | |
| tree | c8f6fd145a3624a1eb5b92d88749dff3a70b7618 /standalone/windows/build.sh | |
| parent | afde015fda871516f260f3176ee9f77606790991 (diff) | |
cat build.log
Diffstat (limited to 'standalone/windows/build.sh')
| -rw-r--r-- | 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 b79df4750..7a8c2cd6c 100644 --- a/standalone/windows/build.sh +++ b/standalone/windows/build.sh @@ -47,6 +47,7 @@ withcyg cabal build || true # using a response file. rm -f build.log gcc.opt withcyg cabal build --ghc-options='-v -keep-tmp-files' > build.log 2>&1 +cat build.log grep '"dist\\build\\git-annex\\git-annex.exe"' build.log | sed -e 's/^"[^"]*" //' -e 's/\\/\//g' > gcc.opt withcyg gcc @gcc.opt |