diff --git a/Jenkins/Dockerfile b/Jenkins/Dockerfile index d7650b4..c028917 100644 --- a/Jenkins/Dockerfile +++ b/Jenkins/Dockerfile @@ -13,7 +13,7 @@ RUN apt-get upgrade -y RUN apt-get install -y temurin-21-jdk curl wget moreutils && apt-get clean -y -ENV JENKINS_VERSION 2.514 +ENV JENKINS_VERSION 2.517 USER root WORKDIR / diff --git a/LinuxGeneralCompiler/mkdotgame b/LinuxGeneralCompiler/mkdotgame index 8203543..9e097ae 100755 --- a/LinuxGeneralCompiler/mkdotgame +++ b/LinuxGeneralCompiler/mkdotgame @@ -3,9 +3,9 @@ VERSION=$VSAPI # predetermined version if [ -z "$1" ]; then - local version=$VERSION + version=$VERSION else - local version=$1 + version=$1 fi rm .game || true