aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2019-01-16 16:11:28 +0100
committerStefan Schmidt <s.schmidt@samsung.com>2019-02-05 16:27:41 +0100
commit6c182a5291e8206276107f837d92205636d20eaf (patch)
tree6c0187107774d83bffc41746d3297587ebf055aa
parentTO BE REVERTED. JUST FOR FASTER TESTING. (diff)
downloadefl-devs/stefan/ci-exactness.tar.gz
WIP: execute a exactness rundevs/stefan/ci-exactness
-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 8407e5a9bc..e84eff38b2 100755
--- a/.ci/ci-make-check.sh
+++ b/.ci/ci-make-check.sh
@@ -29,6 +29,10 @@ if [ "$BUILDSYSTEM" = "ninja" ] ; then
false
done
fi
+ docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build install
+ docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c 'cd /exactness-elm-data; git pull'
+ docker exec --env MAKEFLAGS="-j5 -rR" --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 MAKEFLAGS="-j5 -rR" --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
else
if [ "$DISTRO" != "" ] ; then