Commit ecab194e by John Jarvis

removing unnecessary chdir

parent 5c73a6f2
...@@ -82,7 +82,6 @@ clone_repos() { ...@@ -82,7 +82,6 @@ clone_repos() {
git submodule update --init git submodule update --init
fi fi
cd "$BASE"
# By default, dev environments start with a copy of 6.002x # By default, dev environments start with a copy of 6.002x
cd "$BASE" cd "$BASE"
mkdir -p "$BASE/data" mkdir -p "$BASE/data"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment