From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Tue, 24 Sep 2013 13:13:05 +0000 (+0200)
Subject: change execution rights on build scripts
X-Git-Tag: v3_9_90~95
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/dfb5ce528d95432fa6f95501ffb1d0db33a46fcb?ds=sidebyside

change execution rights on build scripts
---

diff --git a/buildtools/jenkins/run.bat b/buildtools/jenkins/run.bat
old mode 100644
new mode 100755
index 867f69c621..16c8cd6af7
--- 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
diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh
old mode 100644
new mode 100755
diff --git a/buildtools/jenkins/runmingw.sh b/buildtools/jenkins/runmingw.sh
old mode 100644
new mode 100755