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 |