Use Boost from Jenkins, on Windows.

2013-10-24 08:40:07 +01:00
parent 75815ca5bc
commit b493681787
2 changed files with 15 additions and 4 deletions
@@ -6,6 +6,7 @@ REM using this bat file.

 echo %CD%

-xcopy /Y /E winDeps .
+md 3rdParty
+xcopy /Y /E winDeps/3rdParty 3rdParty

 echo "Done copying Windows deps"