diff options
| author | Remi Collet <remi@remirepo.net> | 2019-06-21 15:57:01 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-06-21 15:57:01 +0200 |
| commit | 938ec216ac29cd2ba4bfd9a1ce98edeca46d6bf3 (patch) | |
| tree | 5d56cadf2c2bba5ca1cf29c54dad5d056b972ecd | |
| parent | 1e2a7bbd324856a4241f16d6f1c880f3a4bdec2c (diff) | |
test with 7.3 and 7.4
| -rw-r--r-- | atoum.spec | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |