diff options
Diffstat (limited to 'src/php/bin/interop_client.sh')
| -rwxr-xr-x | src/php/bin/interop_client.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/php/bin/interop_client.sh b/src/php/bin/interop_client.sh index 17b888dd4e..2af49cd892 100755 --- a/src/php/bin/interop_client.sh +++ b/src/php/bin/interop_client.sh @@ -31,5 +31,5 @@ set -e cd $(dirname $0) source ./determine_extension_dir.sh -php $extension_dir \ +php $extension_dir -d max_execution_time=300 \ ../tests/interop/interop_client.php $@ 1>&2 |