From 05a5515221a0ea2da0d94cc336e81ed5acf447aa Mon Sep 17 00:00:00 2001
From: zontreck <tarapiccari@gmail.com>
Date: Sun, 6 Jul 2025 21:51:31 -0700
Subject: [PATCH] Fix mkdotgame

---
 Jenkins/Dockerfile             | 2 +-
 LinuxGeneralCompiler/mkdotgame | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

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