summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2019-06-21 15:57:01 +0200
committerRemi Collet <remi@remirepo.net>2019-06-21 15:57:01 +0200
commit938ec216ac29cd2ba4bfd9a1ce98edeca46d6bf3 (patch)
tree5d56cadf2c2bba5ca1cf29c54dad5d056b972ecd
parent1e2a7bbd324856a4241f16d6f1c880f3a4bdec2c (diff)
test with 7.3 and 7.4HEADmaster
-rw-r--r--atoum.spec2
1 files changed, 1 insertions, 1 deletions
diff --git a/atoum.spec b/atoum.spec
index e09193b..cbccd95 100644
--- a/atoum.spec
+++ b/atoum.spec
@@ -142,7 +142,7 @@ echo "date.timezone=UTC" >php.ini
export PHPRC=$(pwd)/php.ini
ret=0
-for cmd in php php56 php70 php71 php72; do
+for cmd in php php56 php70 php71 php72 php73 php74; do
if which $cmd; then
$cmd runner.php --use-dot-report --max-children-number 4 --directories . || ret=1
fi