diff options
Diffstat (limited to 'debian-stretch-titan/Dockerfile')
-rw-r--r-- | debian-stretch-titan/Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian-stretch-titan/Dockerfile b/debian-stretch-titan/Dockerfile index 39ff76f..daa0f8c 100644 --- a/debian-stretch-titan/Dockerfile +++ b/debian-stretch-titan/Dockerfile @@ -61,3 +61,5 @@ RUN if ! diff -q /tmp/deps-Makefile /osmo-ttcn3-hacks/deps/Makefile; then \ git pull && \ make deps; \ fi + +ADD ttcn3-docker-prepare.sh /usr/local/bin/ttcn3-docker-prepare |