Pipol

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9488 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/buildtools/pipol/Experimental.sh b/buildtools/pipol/Experimental.sh
index 1391e98..228ad84 100644 (file)
--- a/buildtools/pipol/Experimental.sh
+++ b/buildtools/pipol/Experimental.sh
@@ -48,6 +48,8 @@ cmake \
 -Denable_gtnets=on \
 -Dgtnets_path=./gtnets_install \
 -Denable_coverage=on \
+-Denable_compile_optimizations=off \
+-Denable_supernovae=off .
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild