diff options
| -rwxr-xr-x | scripts/update_version_files.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/update_version_files.py b/scripts/update_version_files.py index d06e475341..6821623332 100755 --- a/scripts/update_version_files.py +++ b/scripts/update_version_files.py @@ -61,6 +61,9 @@ Common Uses: def _getstatusoutput(cmd): """Return Win32 (status, output) of executing cmd in a shell.""" + if os.path.sep != "/": + # stupid #%#$$ windows + cmd = 'cmd.exe /c "'+cmd+'"' pipe = os.popen(cmd, 'r') text = pipe.read() sts = pipe.close() |