diff options
| author | michelou <michelou@epfl.ch> | 2005-10-16 17:20:06 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2005-10-16 17:20:06 +0000 |
| commit | c8a1b33655eb7cfc16ce1c410ad351a582624010 (patch) | |
| tree | 7a10011f5bfd9aa8c566cf9039534970d9da6276 /bin | |
| parent | 207f4257b3336405dd11d34fba560d5d362553cb (diff) | |
| download | scala-c8a1b33655eb7cfc16ce1c410ad351a582624010.tar.gz scala-c8a1b33655eb7cfc16ce1c410ad351a582624010.tar.bz2 scala-c8a1b33655eb7cfc16ce1c410ad351a582624010.zip | |
*** empty log message ***
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/.scala_bat.tmpl | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/bin/.scala_bat.tmpl b/bin/.scala_bat.tmpl new file mode 100644 index 0000000000..bc39b47886 --- /dev/null +++ b/bin/.scala_bat.tmpl @@ -0,0 +1,43 @@ +@echo off + +rem ########################################################################## +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. +rem ########################################################################## + +if "%OS%"=="Windows_NT" @setlocal + +if "%SCALA_HOME%" == "" goto error1 + +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%. +goto end + +:end +if "%OS%"=="Windows_NT" @endlocal |