summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2019-01-16 16:11:28 +0100
committerMike Blumenkrantz <zmike@samsung.com>2019-06-24 12:19:45 -0400
commit4ebc796666bc4ebcc47a3db8e47649b905025489 (patch)
tree261990d8bd9fb5dc9ba9ffde918d9be6b006da04
parent57d4d46d9456f205fbd7690fa1c33af95cc1e6bb (diff)
downloadefl-4ebc796666bc4ebcc47a3db8e47649b905025489.tar.gz
WIP: execute a exactness run
-rwxr-xr-x.ci/ci-make-check.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/.ci/ci-make-check.sh b/.ci/ci-make-check.sh
index d331993315..3effa6f530 100755
--- a/.ci/ci-make-check.sh
+++ b/.ci/ci-make-check.sh
@@ -27,6 +27,10 @@ if [ "$DISTRO" != "" ] ; then
if [ $tries != ${NUM_TRIES} ] ; then echo "tests failed, trying again!" ; fi
false
done
+ docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build install
+ docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c 'cd /exactness-elm-data; git pull'
+ docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c 'cd /exactness-elm-data; git checkout origin/devs/stefan/init-shots-docker-travis-ci -b docker'
+ docker exec --env EIO_MONITOR_POLL=1 --env LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib:/usr/local/lib64 $(cat $HOME/cid) exactness -j 20 -b /exactness-elm-data/default-profile -p /exactness-elm-data/default-profile/tests.txt
fi
fi
ret=$?