From e08284c96acf5843685b82aa293c6de0995ecf80 Mon Sep 17 00:00:00 2001 From: michelou Date: Mon, 2 May 2005 14:29:53 +0000 Subject: *** empty log message *** --- support/windows/scala_wrapper-footer.bat | 5 ++++- support/windows/scala_wrapper-header.bat | 8 ++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) (limited to 'support') 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 + -- cgit v1.2.3