Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8192ace)
change execution rights on build scripts
authorAugustin Degomme <degomme@idpann.imag.fr>
Tue, 24 Sep 2013 13:13:05 +0000 (15:13 +0200)
committerAugustin Degomme <degomme@idpann.imag.fr>
Tue, 24 Sep 2013 13:13:05 +0000 (15:13 +0200)
buildtools/jenkins/run.bat [changed mode: 0644->0755] patch | blob | history
buildtools/jenkins/run.sh [changed mode: 0644->0755] patch | blob | history
buildtools/jenkins/runmingw.sh [changed mode: 0644->0755] patch | blob | history

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
diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh
old mode 100644 (file)
new mode 100755 (executable)
diff --git a/buildtools/jenkins/runmingw.sh b/buildtools/jenkins/runmingw.sh
old mode 100644 (file)
new mode 100755 (executable)
Clone of SimGrid repository with local patches