From a85f0800ccb82c2b7e754032f54ee29d503fa4e9 Mon Sep 17 00:00:00 2001 From: Julien Bigot Date: Mon, 17 Jun 2024 22:55:30 +0200 Subject: [PATCH] use updated PDI version for tests --- debuntu/mini/Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/debuntu/mini/Dockerfile b/debuntu/mini/Dockerfile index 46bac01..4bbdd83 100644 --- a/debuntu/mini/Dockerfile +++ b/debuntu/mini/Dockerfile @@ -103,11 +103,11 @@ USER ci:ci WORKDIR /home/ci ENV HOME /home/ci -RUN curl --output pdi-master.tar.bz2 https://gitlab.maisondelasimulation.fr/pdidev/pdi/-/archive/master/pdi-master.tar.bz2 -RUN tar -xf pdi-master.tar.bz2 +RUN curl --output pdi-master.tar.bz2 https://gitlab.maisondelasimulation.fr/pdidev/pdi/-/archive/master/pdi-builderv3.tar.bz2 +RUN tar -xf pdi-*.tar.bz2 RUN export VERBOSE=1 \ && export MAKEFLAGS="-j1" \ - && bash pdi-master/tools/build_scripts/build_and_run.sh + && bash pdi-*/tools/build_scripts/build_and_run.sh