refs #2814 actually fix final iso filename

pull/29/head
Natalia Serrano 2025-09-16 15:33:32 +02:00
parent 0df42dd080
commit a98a449676
2 changed files with 3 additions and 3 deletions

4
Jenkinsfile vendored
View File

@ -112,8 +112,8 @@ else
ls -la ogclient/ || true
fi
mkdir -p ogclient ## run this as user; otherwise docker may create it as root
if [[ "zuser" != "z$(stat --format %U ogclient)" ]]; then
echo "warning: directory 'ogclient' not owned by user 'user'"
if [[ "zjenkins" != "z$(stat --format %U ogclient)" ]]; then
echo "warning: directory 'ogclient' not owned by user 'jenkins'"
fi
docker run --rm --name mkoglive --privileged=true \

View File

@ -1 +1 @@
OpenGnsys Client 4.0.0
4.0.0