Fix: Try to run tests in a Docker-only environment.
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Sep 2017 14:26:52 +0000 (16:26 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Sep 2017 14:26:52 +0000 (16:26 +0200)
commit0a8c3c754c3ca5d1d34ec2dde21423524a32559c
tree5861cbc371e38b2a857d477e31c67be8c51a860c
parent9db5720aee118d414d1a4f84780b16f28bc557f7
Fix: Try to run tests in a Docker-only environment.

Signed-off-by: Manuel Peuster <manuel@peuster.de>
utils/ci/jenkins_entrypoint.sh