phpunit segfault detection wrapper

.travis.sh

#!/bin/bash

# PHP's garbage collector on occasion segfaults upon shutdown.
# This script detects a successful build by looking for 'OK' and then terminates successfully.

set -o pipefail

testcommand="vendor/bin/phpunit -dmemory_limit=-1 --stderr --configuration $1"

$testcommand 2>&1 | sudo tee phpunit-output

phpunit_success=$?

if [ $phpunit_success -gt 0 ]; then
  echo -e "\nThe command \"$testcommand\" exited with $phpunit_success"
fi

output=$(cat phpunit-output)

if [[ $output =~ $'\n'$'\n'OK ]] ; then
  exit 0
else
  exit $phpunit_success
fi