From 972c44d22a2f31a3bc6f3f733ccaacbb3f735cba Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 12 Jul 2018 22:19:46 -0700 Subject: [PATCH] fix missing fi --- .travis.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.travis.yml b/.travis.yml index 855ca65..aee8afc 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,9 +6,9 @@ python: install: - sudo apt-get update - sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev -- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo add-apt-repository ppa:neon1ks/xenial -- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get update -- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get install z3 +- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo add-apt-repository ppa:neon1ks/xenial; fi +- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get update; fi +- if [ $DEEPSTATE_CMD = deepstate-manticore ]; then sudo apt-get install z3; fi - mkdir build - cd build - cmake ..