WIP: execute a exactness run

This commit is contained in:
Stefan Schmidt 2019-01-16 16:11:28 +01:00 committed by Mike Blumenkrantz
parent 57d4d46d94
commit 4ebc796666
1 changed files with 4 additions and 0 deletions

View File

@ -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=$?