Don't make spurious version directories, and fix update-dev script.
authorEdward Z. Yang <edwardzyang@thewritingpot.com>
Thu, 19 Feb 2009 22:51:14 +0000 (19 17:51 -0500)
committerEdward Z. Yang <edwardzyang@thewritingpot.com>
Thu, 19 Feb 2009 22:51:14 +0000 (19 17:51 -0500)
Signed-off-by: Edward Z. Yang <edwardzyang@thewritingpot.com>
install.sh
update-dev.sh

index 42dfd5e..bc4f0e5 100755 (executable)
@@ -2,10 +2,10 @@
 set -e
 VERSION="$1"
 URL=$(php get-url.php "$VERSION")
-mkdir "versions/$VERSION"
 cd working
 wget $URL -O "php-$VERSION.tar.gz"
 tar xzf "php-$VERSION.tar.gz"
+mkdir "../versions/$VERSION"
 cd "php-$VERSION"
 ./configure --prefix=/home/ezyang/Dev/php/versions/$VERSION
 make
index a2b5276..032a098 100755 (executable)
@@ -1,6 +1,6 @@
 #!/bin/bash
 set -e
-cd "working/$1"
+cd "working/php-$1-dev"
 cvs up
 ./config.nice
 make