diff options
Diffstat (limited to 'ttcn3-msc-test/Dockerfile')
| -rw-r--r-- | ttcn3-msc-test/Dockerfile | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/ttcn3-msc-test/Dockerfile b/ttcn3-msc-test/Dockerfile index bb04c10..93b3e0a 100644 --- a/ttcn3-msc-test/Dockerfile +++ b/ttcn3-msc-test/Dockerfile @@ -3,12 +3,7 @@ FROM $USER/debian-stretch-titan ARG OSMO_TTCN3_BRANCH="master" ADD http://git.osmocom.org/osmo-ttcn3-hacks/patch?h=$OSMO_TTCN3_BRANCH /tmp/commit -RUN cd osmo-ttcn3-hacks && \ - git fetch && \ - git checkout $OSMO_TTCN3_BRANCH && \ - (git symbolic-ref -q HEAD && git reset --hard origin/$OSMO_TTCN3_BRANCH || exit 1); \ - git rev-parse --abbrev-ref HEAD && git rev-parse HEAD && \ - make msc +RUN ttcn3-docker-prepare "$OSMO_TTCN3_BRANCH" msc VOLUME /data |