change execution rights on build scripts

[simgrid.git] / buildtools / jenkins / run.bat

diff --git a/buildtools/jenkins/run.bat b/buildtools/jenkins/run.bat
old mode 100644 (file)
new mode 100755 (executable)
index 867f69c..16c8cd6
--- a/buildtools/jenkins/run.bat
+++ b/buildtools/jenkins/run.bat
@@ -1 +1 @@
-c:\mingw\msys\1.0\bin\sh -login .\buildtools\Jenkins\runmingw.sh %1 %2
+c:\mingw\msys\1.0\bin\sh -login .\buildtools\jenkins\runmingw.sh %1 %2