change execution rights on build scripts

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

diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh
old mode 100644 (file)
new mode 100755 (executable)