From 097c79b846320615cb212cbd3ef4f4fb345e9f42 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 12 Jul 2018 22:45:40 -0700 Subject: [PATCH] fix fi --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index b6dc13f..e97121f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -7,8 +7,8 @@ install: - sudo apt-get -y update - sudo apt-get -y install build-essential gcc-multilib cmake python python-setuptools libffi-dev - if [ $DEEPSTATE_CMD = deepstate-manticore ]; then git clone https://github.com/Z3Prover/z3.git; fi -- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd z3; f -- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then python scripts/mk_make.py; f +- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd z3; fi +- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then python scripts/mk_make.py; fi - if [ $DEEPSTATE_CMD = deepstate-manticore ]; then cd build; fi - if [ $DEEPSTATE_CMD = deepstate-manticore ]; then make; fi - if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo make install; fi