Add in DefinePackage.cmake the man pages

[simgrid.git] / buildtools / pipol / Experimental_bindings.sh

diff --git a/buildtools/pipol/Experimental_bindings.sh b/buildtools/pipol/Experimental_bindings.sh
index 7cb21a9..8e7f0ea 100755 (executable)
--- a/buildtools/pipol/Experimental_bindings.sh
+++ b/buildtools/pipol/Experimental_bindings.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+ulimit -c 0
+
 if [ -e ./pipol ] ; then
        rm -rf ./pipol/$PIPOL_HOST
        mkdir ./pipol/$PIPOL_HOST