?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Initial commit.
[phpv.git] / bin / phpv
blobfa8cf426c341fad040cb13b560ba620ae6f6ebb5
1 #!/bin/bash
2 VERSION="$1"
3 if [ "$VERSION" = "" ]
4 then
5 echo "Usage: phpv version ..."
6 exit
7 fi
8 shift 1
9 "/home/ezyang/Dev/php/versions/$VERSION/bin/php" $@
Run multiple versions of PHP hassle-free