diff options
author | Remi Collet <fedora@famillecollet.com> | 2014-03-02 09:36:25 +0100 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2014-03-02 09:36:25 +0100 |
commit | aec9179d27115682f2380a608b7dc8a647235db2 (patch) | |
tree | 1571a46cbf864e6e0114991271a5dd40ab27dc40 | |
parent | fe5db572c34bd21a6dd64fcebbbce474f51e7944 (diff) |
tweek getmock command
-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 |