diff options
Diffstat (limited to 'scripts/TestUtil.py')
| -rwxr-xr-x | scripts/TestUtil.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/TestUtil.py b/scripts/TestUtil.py index 927818b8f02..b5082289ead 100755 --- a/scripts/TestUtil.py +++ b/scripts/TestUtil.py @@ -951,7 +951,7 @@ def getCommandLine(exe, config, options = ""): props = props + p.strip().replace("--", "") output.write("/origin:http://localhost?%s" % props) else: - if exe.find("IceUtil\\") != -1 or exe.find("IceUtil/"): + if exe.find("IceUtil\\") != -1 or exe.find("IceUtil/") != -1: output.write(' ' + options) else: output.write(getCommandLineProperties(exe, config) + ' ' + options) |