diff options
Diffstat (limited to 'ttcn3-msc-test/Dockerfile')
-rw-r--r-- | ttcn3-msc-test/Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ttcn3-msc-test/Dockerfile b/ttcn3-msc-test/Dockerfile index 53aa393..ee7e5f0 100644 --- a/ttcn3-msc-test/Dockerfile +++ b/ttcn3-msc-test/Dockerfile @@ -16,7 +16,8 @@ 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 -f -B $OSMO_TTCN3_BRANCH origin/$OSMO_TTCN3_BRANCH && \ + 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 |