diff options
| -rwxr-xr-x | scripts/TestUtil.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/TestUtil.py b/scripts/TestUtil.py index 831bc389b8f..1f58b90c991 100755 --- a/scripts/TestUtil.py +++ b/scripts/TestUtil.py @@ -791,9 +791,13 @@ def phpFlags(): sys.exit(1) if extDir: + if extDir.find(" ") != -1: + extDir = "\"{0}\"".format(extDir) flags.append("-d extension_dir='%s'" % extDir) flags.append("-d extension='%s'" % ext) if incDir: + if incDir.find(" ") != -1: + incDir = "\"{0}\"".format(incDir) flags.append("-d include_path='%s'" % incDir) return ' '.join(flags) |