From ecab194e47f14c1fa89f1d1e5615df7f3f15f948 Mon Sep 17 00:00:00 2001 From: John Jarvis Date: Tue, 31 Jul 2012 17:14:22 -0400 Subject: [PATCH] removing unnecessary chdir --- create-dev-env.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/create-dev-env.sh b/create-dev-env.sh index a369df6b3b..d0f23ca6e2 100755 --- a/create-dev-env.sh +++ b/create-dev-env.sh @@ -82,7 +82,6 @@ clone_repos() { git submodule update --init fi - cd "$BASE" # By default, dev environments start with a copy of 6.002x cd "$BASE" mkdir -p "$BASE/data"