From dfb5ce528d95432fa6f95501ffb1d0db33a46fcb Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Tue, 24 Sep 2013 15:13:05 +0200 Subject: [PATCH] change execution rights on build scripts --- buildtools/jenkins/run.bat | 2 +- buildtools/jenkins/run.sh | 0 buildtools/jenkins/runmingw.sh | 0 3 files changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 buildtools/jenkins/run.bat mode change 100644 => 100755 buildtools/jenkins/run.sh mode change 100644 => 100755 buildtools/jenkins/runmingw.sh 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 -- 2.20.1