iterating...

shariethernet · Sep 21, 2018 · 79bd1e0 · 79bd1e0
1 parent 9556b8f
commit 79bd1e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -10,7 +10,7 @@ before_install:
   - cd ..
 install:
   # If env is not provided by the cache, build it.
-  - ( cd warp-v/warpv_formal && if [ ! -e env ]; then ./make_env.sh )
+  - ( cd warp-v/warpv_formal && if [ ! -e env ]; then ./make_env.sh; fi )
   # Clone riscv-formal.
   - git clone https://github.com/cliffordwolf/riscv-formal.git && pushd riscv-formal && git checkout 51076e93d70648cf813ef00d7e4cd93b94ea55f5