diff --git a/tools/docker-entrypoint.sh b/tools/docker-entrypoint.sh index b6aef4e..131355f 100755 --- a/tools/docker-entrypoint.sh +++ b/tools/docker-entrypoint.sh @@ -38,6 +38,7 @@ docker_setup_env() { # not needed. In fact, it can cause problems since the # setup script will manipulate LD_LIBRARY_PATH. #source cmbenv + echo "" > /dev/null } _main() {