From 5957c44f17ff6f509c58bd03242db4499d48e1df Mon Sep 17 00:00:00 2001
From: Amaury Vanoorenberghe <amaury.vanoorenberghe.etu@univ-lille.fr>
Date: Wed, 29 Sep 2021 09:35:23 +0200
Subject: [PATCH] SETUP - Ajout de JAVA_HOME aux scripts batch

---
 build.cmd | 2 ++
 run.cmd   | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/build.cmd b/build.cmd
index e5cf844..83b916b 100644
--- a/build.cmd
+++ b/build.cmd
@@ -2,6 +2,8 @@
 
 PUSHD %~dp0
 
+SET JAVA_HOME=C:\program files\java\jdk11.0.1
+
 MKDIR build > NUL
 
 javac -d build/ src/*.java
diff --git a/run.cmd b/run.cmd
index 00509c6..9ff3d84 100644
--- a/run.cmd
+++ b/run.cmd
@@ -3,6 +3,8 @@ SETLOCAL enabledelayedexpansion enableextensions
 
 PUSHD %~dp0
 
+SET JAVA_HOME=C:\program files\java\jdk11.0.1
+
 SET LIBS=
 FOR %%F IN (%CD%\lib\*.jar) DO SET LIBS=!LIBS!;%%F
 SET LIBS=%LIBS:~1%
-- 
GitLab