Avoid to fill up the disks of build daemons with core files.

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

diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh
index 96f8afb..c95277c 100755 (executable)
--- a/buildtools/jenkins/run.sh
+++ b/buildtools/jenkins/run.sh
@@ -12,6 +12,8 @@ die () {
   exit $status
 }
 
+ulimit -c 0
+
 rm -rf $WORKSPACE/build
 
 mkdir $WORKSPACE/build