A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
fix: correct trace mask checking
[simgrid.git]
/
buildtools
/
pipol
/
Experimental_all_simgrid_gt.sh
diff --git
a/buildtools/pipol/Experimental_all_simgrid_gt.sh
b/buildtools/pipol/Experimental_all_simgrid_gt.sh
index
01ed1a1
..
888a3c3
100644
(file)
--- a/
buildtools/pipol/Experimental_all_simgrid_gt.sh
+++ b/
buildtools/pipol/Experimental_all_simgrid_gt.sh
@@
-130,11
+130,3
@@
if [ $SYSTEM = Linux ] ; then
make clean
fi
fi
-#Make the memcheck
-cmake -Denable_memcheck=on ./
-ctest -D ExperimentalStart
-ctest -D ExperimentalConfigure
-ctest -D ExperimentalBuild
-ctest -D ExperimentalCoverage
-ctest -D ExperimentalMemCheck
-ctest -D ExperimentalSubmit