diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-02 17:35:54 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-02 17:35:54 +0000 |
| commit | 45edd7984af6093d77eb4a48478cd26a07acc594 (patch) | |
| tree | ab24f411d9e894b86abb68514e0570e0b3a43d93 /bin/.scala_bat.tmpl | |
| parent | ca015f2887c23885f3625aa8a7ecc475737d060f (diff) | |
| download | scala-45edd7984af6093d77eb4a48478cd26a07acc594.tar.gz scala-45edd7984af6093d77eb4a48478cd26a07acc594.tar.bz2 scala-45edd7984af6093d77eb4a48478cd26a07acc594.zip | |
This file is obsolete.
Diffstat (limited to 'bin/.scala_bat.tmpl')
| -rw-r--r-- | bin/.scala_bat.tmpl | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/bin/.scala_bat.tmpl b/bin/.scala_bat.tmpl deleted file mode 100644 index 139d3e5374..0000000000 --- a/bin/.scala_bat.tmpl +++ /dev/null @@ -1,48 +0,0 @@ -@echo off - -rem ########################################################################## -rem # Copyright @COPYRIGHT@ -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. -rem ########################################################################## - -if "%OS%"=="Windows_NT" @setlocal - -if "%SCALA_HOME%" == "" goto error1 -if not exist "%SCALA_HOME%\VERSION-@VERSION@" goto error2 - -set _ARGS= -:loop -if '%1' == '' goto exec -if '%1' == '-version' goto version -set _ARGS=%_ARGS% %1 -shift -goto loop - -:exec -set _JAVACMD=java -set _JAVAOPT=-Xbootclasspath/a:@BOOTCPATH@ - -rem echo %_JAVACMD% %_JAVAOPT% %_ARGS% -%_JAVACMD% %_JAVAOPT% %_ARGS% -goto end - -:version -echo @PRODUCT@ @VERSION@ -- @COPYRIGHT@ -goto end - -rem ########################################################################## -rem # errors - -: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 -if "%OS%"=="Windows_NT" @endlocal |