Add phpv-cgi script.
authorEdward Z. Yang <edwardzyang@thewritingpot.com>
Thu, 19 Feb 2009 22:51:30 +0000 (19 17:51 -0500)
committerEdward Z. Yang <edwardzyang@thewritingpot.com>
Thu, 19 Feb 2009 22:51:30 +0000 (19 17:51 -0500)
Signed-off-by: Edward Z. Yang <edwardzyang@thewritingpot.com>
bin/phpv-cgi [new file with mode: 0755]

diff --git a/bin/phpv-cgi b/bin/phpv-cgi
new file mode 100755 (executable)
index 0000000..fdb7a11
--- /dev/null
@@ -0,0 +1,9 @@
+#!/bin/bash
+VERSION="$1"
+if [ "$VERSION" = "" ]
+then
+    echo "Usage: phpv-cgi version ..."
+    exit
+fi
+shift 1
+"/home/ezyang/Dev/php/versions/$VERSION/bin/php-cgi" $@