Changeset 4206 for trunk/tools/notes.bat


Ignore:
Timestamp:
07/17/08 14:25:43 (12 years ago)
Author:
curtis
Message:

Fix problem with command line tools on Windows when directory contains a space.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/tools/notes.bat

    r4164 r4206  
    66 
    77rem JAR libraries must be in the same directory as this 
    8 rem command line script for the command to function.   
     8rem command line script for the command to function. 
    99 
    1010rem If you are a developer working from source and have 
     
    1717if "%LOCI_DEVEL%" == "" ( 
    1818  rem Developer environment variable unset; look for proper libraries 
    19   if exist %DIR%loci_tools.jar goto found 
    20   if exist %DIR%bio-formats.jar goto found 
     19  if exist "%DIR%loci_tools.jar" goto found 
     20  if exist "%DIR%bio-formats.jar" goto found 
    2121  goto missing 
    2222) else ( 
     
    2828:found 
    2929rem Library found; try to launch 
    30 java -mx512m -cp %DIR%bio-formats.jar;%DIR%loci_tools.jar %PROG% %* 
     30java -mx512m -cp "%DIR%bio-formats.jar";"%DIR%loci_tools.jar" %PROG% %* 
    3131goto end 
    3232 
Note: See TracChangeset for help on using the changeset viewer.