diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-12-16 15:33:49 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-12-16 15:33:49 +0000 |
commit | 3ef0d0f9e06327481b50bfc8fdbdca300431953a (patch) | |
tree | 42327164fbe18e8d61a839142e2fb2138980da17 /support/windows | |
parent | aa5ba627f3c5cbc6973821c7751d7eb67ccdf27d (diff) | |
download | scala-3ef0d0f9e06327481b50bfc8fdbdca300431953a.tar.gz scala-3ef0d0f9e06327481b50bfc8fdbdca300431953a.tar.bz2 scala-3ef0d0f9e06327481b50bfc8fdbdca300431953a.zip |
Changed EOL flag of all files to be consistent.
Diffstat (limited to 'support/windows')
-rwxr-xr-x | support/windows/scala_wrapper-footer.bat | 58 | ||||
-rwxr-xr-x | support/windows/scala_wrapper-header.bat | 20 |
2 files changed, 39 insertions, 39 deletions
diff --git a/support/windows/scala_wrapper-footer.bat b/support/windows/scala_wrapper-footer.bat index 78900804d5..a9fd9b6605 100755 --- a/support/windows/scala_wrapper-footer.bat +++ b/support/windows/scala_wrapper-footer.bat @@ -1,29 +1,29 @@ - -if "%SCALA_HOME%" == "" goto error1 -if not exist "%SCALA_HOME%\VERSION-%VERSION%" goto error2 - -set ARGS= - -:loop -if '%1' == '' goto exec -set ARGS=%ARGS% %1 -shift -goto loop - -:exec -%COMMAND% %ARGS% -goto end - -:error1 -echo ERROR: environment variable SCALA_HOME is undefined. It should point to the directory containing the file "VERSION-%VERSION%". -goto end - -:error2 -echo ERROR: environment variable SCALA_HOME points to the wrong directory "%SCALA_HOME%". It should point to the directory containing the file "VERSION-%VERSION%". -goto end - -:end -set VERSION= -set COMMAND= - -if "%OS%"=="Windows_NT" @endlocal +
+if "%SCALA_HOME%" == "" goto error1
+if not exist "%SCALA_HOME%\VERSION-%VERSION%" goto error2
+
+set ARGS=
+
+:loop
+if '%1' == '' goto exec
+set ARGS=%ARGS% %1
+shift
+goto loop
+
+:exec
+%COMMAND% %ARGS%
+goto end
+
+:error1
+echo ERROR: environment variable SCALA_HOME is undefined. It should point to the directory containing the file "VERSION-%VERSION%".
+goto end
+
+:error2
+echo ERROR: environment variable SCALA_HOME points to the wrong directory "%SCALA_HOME%". It should point to the directory containing the file "VERSION-%VERSION%".
+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 7166bb4006..7f70f30cb1 100755 --- a/support/windows/scala_wrapper-header.bat +++ b/support/windows/scala_wrapper-header.bat @@ -1,10 +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 - +@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
+
|