Merge pull request #101 from moosetechnology/update-bat

Update bat
moosetechnology · Feb 14, 2024 · 2271009 · 2271009
2 parents 61e1b21 + bfbe2c5
commit 2271009
Showing 1 changed file with 8 additions and 7 deletions.
diff --git a/verveinej.bat b/verveinej.bat
@@ -1,17 +1,18 @@
 @echo off
 setlocal ENABLEDELAYEDEXPANSION
 
-rem Directory for verveine source
-set ROOT=%~dp0%
-set BASELIB=%ROOT%lib
+rem Directory for Verveine source
+set "ROOT=%~dp0"
+set "BASELIB=%ROOT%lib"
 
 rem JVM options e.g. -Xmx2500m to augment maximum memory size of the vm to 2.5Go.
-set JOPT="-Xmx16000m"
+set "JOPT=-Xmx16000m"
+
 rem Verveine option
-rem set VOPT="."
+rem set "VOPT=."
 
-FOR /R %BASELIB% %%G IN (*.jar) DO set LOCALCLASSPATH=%%G;!LOCALCLASSPATH!
-set CLASSPATH=%CLASSPATH%;%LOCALCLASSPATH%
+FOR /R "%BASELIB%" %%G IN (*.jar) DO set "LOCALCLASSPATH=%%G;!LOCALCLASSPATH!"
+set "CLASSPATH=%CLASSPATH%;%LOCALCLASSPATH%"
 
 
 java -Dfile.encoding=UTF-8 %JOPT% fr.inria.verveine.extractor.java.VerveineJMain %*