Commit 68485a27 authored by Christophe Demarey's avatar Christophe Demarey
Browse files

Handle white spaces in path while checking FRASCATI_HOME.

parent 8dc9445b
......@@ -29,11 +29,10 @@ if defined JAVA_HOME (
echo The JAVA_HOME variable is not set. Please initialize it in your environment
)
if exist %FRASCATI_HOME% goto CONFIG
if exist "%FRASCATI_HOME%" goto CONFIG
set FRASCATI_HOME=%~dp0
rem Removes the "/bin/" string at the end of this script path
echo %FRASCATI_HOME%
set FRASCATI_HOME=%FRASCATI_HOME:~0,-5%
echo The FRASCATI_HOME variable is not set. Using %FRASCATI_HOME% as default value.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment