summaryrefslogtreecommitdiff
path: root/tools/ci/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci/scripts')
-rwxr-xr-xtools/ci/scripts/init.sh10
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index ad086d705..fa407371b 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -156,6 +156,16 @@ function run_make_check {
cat src/manaplustests.log
exit ${ERR}
fi
+ valgrind -q --read-var-info=yes --track-origins=yes --malloc-fill=11 --free-fill=55 --show-reachable=yes --leak-check=full --leak-resolution=high --partial-loads-ok=yes --error-limit=no ./src/manaplustests 2>valg.log
+ export DATA=$(grep "invalid" valg.log)
+ if [ "$DATA" != "" ];
+ then
+ cat valg.log
+ echo "valgrind error"
+ exit 1
+ fi
+ cat valg.log
+ echo "valgrind check"
}
function run_check_warnings {