summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2005-10-28 11:34:43 +0000
committermichelou <michelou@epfl.ch>2005-10-28 11:34:43 +0000
commitf2a21aafec3ca0faad5346e38a7e107c1021a94b (patch)
tree08e6c5f019a15ed3dac89ca42833b6a659c80af3 /bin
parent8398b563c757a2f74ce540b9bd03943666808954 (diff)
downloadscala-f2a21aafec3ca0faad5346e38a7e107c1021a94b.tar.gz
scala-f2a21aafec3ca0faad5346e38a7e107c1021a94b.tar.bz2
scala-f2a21aafec3ca0faad5346e38a7e107c1021a94b.zip
- added test for VERSION file.
Diffstat (limited to 'bin')
-rw-r--r--bin/.scala_bat.tmpl7
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/.scala_bat.tmpl b/bin/.scala_bat.tmpl
index 0feb2419d5..139d3e5374 100644
--- a/bin/.scala_bat.tmpl
+++ b/bin/.scala_bat.tmpl
@@ -11,6 +11,7 @@ rem ##########################################################################
if "%OS%"=="Windows_NT" @setlocal
if "%SCALA_HOME%" == "" goto error1
+if not exist "%SCALA_HOME%\VERSION-@VERSION@" goto error2
set _ARGS=
:loop
@@ -36,7 +37,11 @@ rem ##########################################################################
rem # errors
:error1
-echo ERROR: environment variable SCALA_HOME is undefined. It should point to the directory containing the file %_VERSION%.
+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