diff options
| author | paltherr <paltherr@epfl.ch> | 2003-03-17 15:30:09 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-03-17 15:30:09 +0000 |
| commit | 22c472cff569037c4b8ff87dbf8e8ae2b999a8d7 (patch) | |
| tree | 0bb6d29ff177451342eb3ab9a58a8f0451f9af80 /support | |
| parent | 78b2ff42fc7af289b4cf0e4273c95ef014bde8a8 (diff) | |
| download | scala-22c472cff569037c4b8ff87dbf8e8ae2b999a8d7.tar.gz scala-22c472cff569037c4b8ff87dbf8e8ae2b999a8d7.tar.bz2 scala-22c472cff569037c4b8ff87dbf8e8ae2b999a8d7.zip | |
- Added scala_wrapper-footer.bat and scala_wrap...
- Added scala_wrapper-footer.bat and scala_wrapper-header.bat
Diffstat (limited to 'support')
| -rw-r--r-- | support/windows/scala_wrapper-footer.bat | 26 | ||||
| -rw-r--r-- | support/windows/scala_wrapper-header.bat | 2 |
2 files changed, 28 insertions, 0 deletions
diff --git a/support/windows/scala_wrapper-footer.bat b/support/windows/scala_wrapper-footer.bat new file mode 100644 index 0000000000..b08d88700b --- /dev/null +++ b/support/windows/scala_wrapper-footer.bat @@ -0,0 +1,26 @@ + +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 + diff --git a/support/windows/scala_wrapper-header.bat b/support/windows/scala_wrapper-header.bat new file mode 100644 index 0000000000..5388813200 --- /dev/null +++ b/support/windows/scala_wrapper-header.bat @@ -0,0 +1,2 @@ +@echo off + |