Merge branch 'master' of ssh://seberle@git.eclipse.org:29418/sphinx/org.eclipse.sphinx
diff --git a/releng/org.eclipse.sphinx.releng.builds/run-in-container.bat b/releng/org.eclipse.sphinx.releng.builds/run-in-container.bat
deleted file mode 100644
index c9154f6..0000000
--- a/releng/org.eclipse.sphinx.releng.builds/run-in-container.bat
+++ /dev/null
@@ -1,2 +0,0 @@
-@echo off
-docker run --rm -it -v %USERPROFILE%\.m2:/root/.m2 -v "%~dp0../../":/workspace -p 8000:8000 -e WORKSPACE=/workspace -w /workspace maven:3.6.1-jdk-8 mvn -P platform-oxygen -f releng/org.eclipse.sphinx.releng.builds verify
\ No newline at end of file
diff --git a/releng/org.eclipse.sphinx.releng.builds/run-in-maven-linux-container.bat b/releng/org.eclipse.sphinx.releng.builds/run-in-maven-linux-container.bat
new file mode 100644
index 0000000..0ec310d
--- /dev/null
+++ b/releng/org.eclipse.sphinx.releng.builds/run-in-maven-linux-container.bat
@@ -0,0 +1,14 @@
+@echo off
+setlocal
+for %%a in ("%~dp0..\..") do set GIT_ROOT=%%~fa
+
+docker run --rm -it ^
+ -v %USERPROFILE%\.m2:/root/.m2 ^
+ -v %GIT_ROOT%:/workspace ^
+ -e WORKSPACE=/workspace ^
+ -w /workspace ^
+ -p 8000:8000 ^
+ maven:3.6.1-jdk-8 ^
+ mvn -P platform-oxygen -f releng/org.eclipse.sphinx.releng.builds verify
+
+endlocal
\ No newline at end of file