diff options
author | Jose <jose@zeroc.com> | 2009-12-31 07:28:47 +0100 |
---|---|---|
committer | Jose <jose@zeroc.com> | 2009-12-31 07:28:47 +0100 |
commit | 9503e0bc048ed0ced3fcb49e8a2e7c5a46c98de3 (patch) | |
tree | 11f753dd62cf409af77dbb0f717e6c5be0ef22b7 /demoscript/Util.py | |
parent | bug 4558 - require --mode in demo scripts for bindist (diff) | |
download | ice-9503e0bc048ed0ced3fcb49e8a2e7c5a46c98de3.tar.bz2 ice-9503e0bc048ed0ced3fcb49e8a2e7c5a46c98de3.tar.xz ice-9503e0bc048ed0ced3fcb49e8a2e7c5a46c98de3.zip |
Minor fix to demoscript/Util.py spawn.
Diffstat (limited to 'demoscript/Util.py')
-rw-r--r-- | demoscript/Util.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/demoscript/Util.py b/demoscript/Util.py index 6a287452293..51454510ff7 100644 --- a/demoscript/Util.py +++ b/demoscript/Util.py @@ -552,7 +552,7 @@ def spawn(command, cwd = None, mapping = None): if cwd != None: desc = os.path.join(cwd, desc) if isWin32(): - if not desc.endswith(".exe"): + if desc.find(".") == -1: desc += ".exe" command = desc + " " + args |