diff --git a/docker/Dockerfile.alpine b/docker/Dockerfile.alpine index edfd6b3587140fe0fbff50f6d78f306a4584d589..a79a155ff03a7359299b1e151f3fc0c738793bce 100644 --- a/docker/Dockerfile.alpine +++ b/docker/Dockerfile.alpine @@ -18,7 +18,7 @@ RUN echo 'sh' >> /home/titan/.bashrc WORKDIR /home/titan RUN git clone https://github.com/eclipse/titan.core.git WORKDIR /home/titan/titan.core/ -RUN git checkout tags/7.1.1 +RUN git checkout tags/7.2.0 ## SET UP ENV VARIABLES ENV TTCN3_DIR=/home/titan/titan.core/Install diff --git a/docker/Dockerfile.ubuntu b/docker/Dockerfile.ubuntu index 3002cfbb72613c2b7bda4a6651f28775e414011f..be8ccbe8cfe7805e6f38036696f9bd8f932510e7 100644 --- a/docker/Dockerfile.ubuntu +++ b/docker/Dockerfile.ubuntu @@ -24,9 +24,9 @@ ENV PATH=$TTCN3_DIR/bin:$PATH \ ## CLONE TITAN WORKDIR /home/titan/ RUN git clone https://github.com/eclipse/titan.core.git -# Checkout release 7.1.1 +# Checkout release 7.2.0 WORKDIR /home/titan/titan.core -RUN git checkout tags/7.1.1 +RUN git checkout tags/7.2.0 ## SET Makefile.personal # TTCN3_DIR := /home/titan/titan.core/Install