trying to enable branch building

wrench-project · Feb 14, 2018 · 9b71032 · 9b71032
1 parent 0957e33
commit 9b71032
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -32,7 +32,7 @@ before_install:
       docker exec -it wrench git clone https://github.com/wrench-project/wrench;
     fi
   - if [[ "$BRANCH" != "HEAD" ]]; then
-      docker exec -w /home/wrench/wrench -it wrench git checkout ${BRANCH}
+      docker exec -w /home/wrench/wrench -it wrench git checkout ${BRANCH};
     fi
   - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then
       docker exec -it wrench mkdir wrench/build;