1 files changed, 0 insertions, 29 deletions
diff --git a/support/windows/scala_wrapper-footer.bat b/support/windows/scala_wrapper-footer.bat
deleted file mode 100755
index a9fd9b6605..0000000000
--- a/support/windows/scala_wrapper-footer.bat
+++ /dev/null
@@ -1,29 +0,0 @@
-
-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