diff options
| -rwxr-xr-x | build/integration/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/integration/run.sh b/build/integration/run.sh index baf31b411c4..df33d85fc74 100755 --- a/build/integration/run.sh +++ b/build/integration/run.sh @@ -14,6 +14,6 @@ PHPPID=$! echo $PHPPID #export BEHAT_PARAMS="context[parameters][base_url]=http://localhost:$PORT/ocs" -vendor/bin/behat +vendor/bin/behat --profile ci kill $PHPPID |