From fd7d94baa3e5a8462d70e975da0cf09d435c0776 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 17 Dec 2016 23:56:41 +0000
Subject: [TravisCI] When building with the old build system move back to the
 root of the build tree after doing the hack the generate the lit
 configuration files.

This will make it easier in the future to run more test configurations
(e.g. by passing options to lit to change KLEE's behaviour).
---
 .travis/klee.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis/klee.sh b/.travis/klee.sh
index ee65781f..e1adc6bc 100755
--- a/.travis/klee.sh
+++ b/.travis/klee.sh
@@ -200,8 +200,8 @@ else
       DISABLE_ASSERTIONS=${DISABLE_ASSERTIONS} \
       ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \
       ENABLE_SHARED=0
-
-  lit -v .
+  cd ../
+  lit -v test/
 fi
 
 #generate and upload coverage if COVERAGE is set
-- 
cgit 1.4.1