diff options
Diffstat (limited to 'support')
-rw-r--r-- | support/windows/scala_wrapper-footer.bat | 5 | ||||
-rw-r--r-- | support/windows/scala_wrapper-header.bat | 8 |
2 files changed, 12 insertions, 1 deletions
diff --git a/support/windows/scala_wrapper-footer.bat b/support/windows/scala_wrapper-footer.bat index b86b3ba7e9..aa55f68a22 100644 --- a/support/windows/scala_wrapper-footer.bat +++ b/support/windows/scala_wrapper-footer.bat @@ -1,6 +1,6 @@ if "%SCALA_HOME%" == "" goto error1 -if not exist "%SCALA_HOME%\VERSION-%VERSION%" goto error2 +if not exist "%SCALA_HOME%\share\doc\scala-%VERSION%\VERSION-%VERSION%" goto error2 set ARGS= @@ -23,4 +23,7 @@ echo ERROR: environment variable SCALA_HOME points to the wrong directory "%SCAL goto end :end +set VERSION= +set COMMAND= +if "%OS%"=="Windows_NT" @endlocal diff --git a/support/windows/scala_wrapper-header.bat b/support/windows/scala_wrapper-header.bat index 5388813200..7166bb4006 100644 --- a/support/windows/scala_wrapper-header.bat +++ b/support/windows/scala_wrapper-header.bat @@ -1,2 +1,10 @@ @echo off +rem Copyright (C) 2002-2005 LAMP/EPFL +rem +rem This is free software; see the distribution for copying conditions. +rem There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A +rem PARTICULAR PURPOSE. + +if "%OS%"=="Windows_NT" @setlocal + |