From 01c6547c1e6fd9daa4f492345142dac60c5b6e09 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Wed, 10 May 2023 15:20:54 +0200
Subject: [PATCH] Test the JDK change script

---
 .gitlab-ci.yml      | 1 +
 .gitlab/clean.sh    | 1 -
 .gitlab/set-java.sh | 6 ++++++
 3 files changed, 7 insertions(+), 1 deletion(-)
 delete mode 100755 .gitlab/clean.sh
 create mode 100755 .gitlab/set-java.sh

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0108727c95..9a14c9fc46 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,6 +2,7 @@ before_script:
   - "docker version"
   - "docker compose version"
   - "docker system prune -f"
+  - "bash .gitlab/set-java.sh 17"
   - "mvn --version"
   - "python3 --version"
   - "df / -h"
diff --git a/.gitlab/clean.sh b/.gitlab/clean.sh
deleted file mode 100755
index a9bf588e2f..0000000000
--- a/.gitlab/clean.sh
+++ /dev/null
@@ -1 +0,0 @@
-#!/bin/bash
diff --git a/.gitlab/set-java.sh b/.gitlab/set-java.sh
new file mode 100755
index 0000000000..453a1bde3e
--- /dev/null
+++ b/.gitlab/set-java.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+if [ "$1" -eq "17" ]; then
+  echo 'export JAVA_HOME="/usr/lib/jvm/java-17-openjdk/"' > ~/.mavenrc
+elif [ "$1" -eq "11" ]; then
+  echo 'export JAVA_HOME="/usr/lib/jvm/java-11-openjdk/"' > ~/.mavenrc
+fi
\ No newline at end of file
-- 
GitLab