Change Details

#! /usr/bin/env bash function runHhvm { echo "******" echo "*HHVM*" echo "******" /vagrant/mediawiki/tests/phpunit/phpunit.php $* || return 1 } function runPhp5 { echo "******" echo "*PHP5*" echo "******" php5 /vagrant/mediawiki/tests/phpunit/phpunit.php $* || return 1 } while getopts "h" optname do case "$optname" in "h") shouldPhp5Run=false ;; esac done runHhvm $* && runPhp5 $*

#! /usr/bin/env bash function runHhvm { echo "******" echo "*HHVM*" echo "******" /vagrant/mediawiki/tests/phpunit/phpunit.php --wiki wiki $* || return 1 } function runPhp5 { echo "******" echo "*PHP5*" echo "******" php5 /vagrant/mediawiki/tests/phpunit/phpunit.php --wiki wiki $* || return 1 } while getopts "h" optname do case "$optname" in "h") shouldPhp5Run=false ;; esac done runHhvm $* && runPhp5 $*

#! /usr/bin/env bash function runHhvm { echo "******" echo "*HHVM*" echo "******" /vagrant/mediawiki/tests/phpunit/phpunit.php --wiki wiki $* || return 1 } function runPhp5 { echo "******" echo "*PHP5*" echo "******" php5 /vagrant/mediawiki/tests/phpunit/phpunit.php --wiki wiki $* || return 1 } while getopts "h" optname do case "$optname" in "h") shouldPhp5Run=false ;; esac done runHhvm $* && runPhp5 $*