bin/downloadkit.bat
changeset 257 171a870d4d52
parent 256 578dff671e26
equal deleted inserted replaced
256:578dff671e26 257:171a870d4d52
    10 @REM Contributors:
    10 @REM Contributors:
    11 @REM
    11 @REM
    12 @REM Description:
    12 @REM Description:
    13 @REM Invokes the tool by call to the related interpreter
    13 @REM Invokes the tool by call to the related interpreter
    14 
    14 
    15 @SETLOCAL
    15 @python %~dp0\..\downloadkit\downloadkit.py %*
    16 @IF NOT "%PDT_HOME%"=="" (
       
    17 SET UTILITIES_HOME=%PDT_HOME%\utilities
       
    18 ) ELSE (
       
    19 SET UTILITIES_HOME=%~dp0\..
       
    20 )
       
    21 
       
    22 @python %UTILITIES_HOME%\downloadkit\downloadkit.py %*
       
    23 
       
    24 @ENDLOCAL