Changeset 17324

Show
Ignore:
Timestamp:
18.09.2008 13:44:55 (11 years ago)
Author:
oranfry
Message:

made gli honour jre home as well as java home

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • gli/trunk/gli.bat

    r17139 r17324  
    262262    if not "%JAVA_HOME%" == "" goto javahome 
    263263 
     264    :: If it is set, use the JRE_HOME environment variable 
     265    if not "%JRE_HOME%" == "" goto jrehome 
     266 
    264267    :: Check if Java is on the search path 
    265268    echo %PATH%| winutil\which.exe java.exe | winutil\setvar.exe JAVAPATH > %TMP%\setjava.bat 
     
    292295:javahome 
    293296    set JAVAPATH=%JAVA_HOME%\bin 
     297    goto testJava 
     298     
     299:jrehome 
     300    set JAVAPATH=%JRE_HOME%\bin 
     301    goto testJava 
    294302 
    295303:testJava