From 12b762d595e0056341fa9dd9275c090d33eaadfd Mon Sep 17 00:00:00 2001
From: idk <hankhill19580@gmail.com>
Date: Tue, 10 May 2022 19:12:25 -0400
Subject: [PATCH] set path and java home in config.sh

---
 config.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/config.sh b/config.sh
index 54ed67d..38afb91 100644
--- a/config.sh
+++ b/config.sh
@@ -2,8 +2,8 @@
 ## If you need to use a different JVM, JDK, or other utility from
 # build.sh, set it in this file, for example:
 
-#export PATH="$PATH:/c/Program Files/Java/jdk-17.0.3/bin/"
-#export JAVA_HOME="/c/Program Files/Java/jdk-17.0.3"
+export PATH="$PATH:/c/Program Files/Java/jdk-17.0.3/bin/"
+export JAVA_HOME="/c/Program Files/Java/jdk-17.0.3"
 # to use it for Oracle OpenJDK17
 
 ## Other potential values(NOT exhaustive):