jenkins-tsan: use mmap by default, as using RTLD_DEEPBIND is not supported by TSan

[simgrid.git] / tools / jenkins / DynamicAnalysis_description.sh

diff --git a/tools/jenkins/DynamicAnalysis_description.sh b/tools/jenkins/DynamicAnalysis_description.sh
old mode 100644 (file)
new mode 100755 (executable)
index 1203441..3e8eaf0
--- a/tools/jenkins/DynamicAnalysis_description.sh
+++ b/tools/jenkins/DynamicAnalysis_description.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env sh
 
 set -e