diff --git a/.jenkins.sh b/.jenkins.sh index 5a6298e36dac0f56ec1085a26a9a46c502600525..b5cc492791cc870a6ca6c8e42188d10425839cbf 100755 --- a/.jenkins.sh +++ b/.jenkins.sh @@ -9,5 +9,8 @@ cd "$(dirname "$0")" run_dir="$(pwd)" -./docker/build-container.sh -./docker/run-container.sh "${run_dir}" +./docker/build.sh +#./docker/run.sh + +exit 0 + diff --git a/ttcn/LibIts b/ttcn/LibIts index 4b09f4e418e6e62ce9be0a9a44a5c1c9805585d9..05da1c7eb2266da50cbee511c01fb59623187412 160000 --- a/ttcn/LibIts +++ b/ttcn/LibIts @@ -1 +1 @@ -Subproject commit 4b09f4e418e6e62ce9be0a9a44a5c1c9805585d9 +Subproject commit 05da1c7eb2266da50cbee511c01fb59623187412