cat build.log
This commit is contained in:
parent
0a8191dc8c
commit
70ab15cfc6
2 changed files with 3 additions and 2 deletions
|
@ -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
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue