From c57e96b30eeeb0eff13d63d09ee6c0fc71ebbe35 Mon Sep 17 00:00:00 2001
From: "Edward Z. Yang" <edwardzyang@thewritingpot.com>
Date: Thu, 19 Feb 2009 17:51:14 -0500
Subject: [PATCH] Don't make spurious version directories, and fix update-dev
 script. Signed-off-by: Edward Z. Yang <edwardzyang@thewritingpot.com>

---
 install.sh    | 2 +-
 update-dev.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/install.sh b/install.sh
index 42dfd5e..bc4f0e5 100755
--- a/install.sh
+++ b/install.sh
@@ -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
diff --git a/update-dev.sh b/update-dev.sh
index a2b5276..032a098 100755
--- a/update-dev.sh
+++ b/update-dev.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 set -e
-cd "working/$1"
+cd "working/php-$1-dev"
 cvs up
 ./config.nice
 make
-- 
2.11.4.GIT