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"