[issue21907] Update Windows build batch scripts

2014-07-17 Thread Ingolf Becker
Ingolf Becker added the comment: This should now be the correct way. I did not need to touch build.bat indeed. I got confused by all the different combinations! I have removed the calls from build_pgo.bat to build.bat and changed the it to a native x64 build - the PGO requires the code to be

[issue21907] Update Windows build batch scripts

2014-07-17 Thread Ingolf Becker
Ingolf Becker added the comment: A couple of issues: PCbuild/build_pgo.bat: - there a quite a few incorrect "" which break the call to rmpyc.py - some paths were not cwd-agnostic - all paths should now be whitespace aware - The PGI python.exe requires the pgodb100.dll to be in the