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