if called as php.sh, invoke all php versions

diff --git a/client/php.sh b/client/php.sh
index 64267110ce60d255fe39030ad71cf04bf15613f8..9120e4cdea50ad7a883e785ebba5db56f6dd4840 100755 (executable)
--- a/client/php.sh
+++ b/client/php.sh
@@ -4,4 +4,12 @@ program=${program%.sh}
 dir=$(dirname "$0")
 suffix=${program#php}
 
+# if called as php.sh, invoke all php versions
+if [ "$suffix" = "" ]; then
+       for php in $dir/php??.sh; do
+               $php "$@"
+       done
+       exit 0
+fi
+
 exec $dir/make-request.sh -D "php_suffix $suffix" ${post_command:+-C "$post_command"} "$@"