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 af626c73bc0..c45d3fb650f 100755 --- a/scripts/TestUtil.py +++ b/scripts/TestUtil.py @@ -972,7 +972,7 @@ def getCommandLine(exe, config, options = ""): elif config.lang == "py": output.write(sys.executable + ' "%s" ' % exe) elif config.lang == "php" and config.type == "client": - output.write(phpCmd + " -c tmp.ini -f \""+ exe +"\" -- ") + output.write(phpCmd + " -n -c tmp.ini -f \""+ exe +"\" -- ") elif config.lang == "js": output.write('node "%s" ' % exe) elif config.lang == "cpp" and config.valgrind: |