diff options
| -rwxr-xr-x | getmock | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -128,6 +128,10 @@ if [ $1 = php55 ]; then opt=php55 shift fi +if [ $1 = php56 ]; then + opt=php56 + shift +fi if [ $1 = devs -o $1 = dev ]; then opt=devs shift |
![]() |
index : tools/helpers.git | |
| The master git repository for helpers tools | Remi Collet |
| summaryrefslogtreecommitdiffstats |
| -rwxr-xr-x | getmock | 4 |
@@ -128,6 +128,10 @@ if [ $1 = php55 ]; then opt=php55 shift fi +if [ $1 = php56 ]; then + opt=php56 + shift +fi if [ $1 = devs -o $1 = dev ]; then opt=devs shift |