diff options
author | michelou <michelou@epfl.ch> | 2005-05-02 14:29:53 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-05-02 14:29:53 +0000 |
commit | e08284c96acf5843685b82aa293c6de0995ecf80 (patch) | |
tree | de45e8c263d036cd4b47f12550c6334077501119 /support | |
parent | 7febddefc647f313bb94ea69cd20ec6274accf72 (diff) | |
download | scala-e08284c96acf5843685b82aa293c6de0995ecf80.tar.gz scala-e08284c96acf5843685b82aa293c6de0995ecf80.tar.bz2 scala-e08284c96acf5843685b82aa293c6de0995ecf80.zip |
*** empty log message ***
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 + |