diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/scripts/init.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh index f435eed99..4f95e4c23 100755 --- a/tools/ci/scripts/init.sh +++ b/tools/ci/scripts/init.sh @@ -214,22 +214,22 @@ 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) + 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>logs/valg.log + export DATA=$(grep "invalid" logs/valg.log) if [ "$DATA" != "" ]; then - cat valg.log + cat logs/valg.log echo "valgrind error" exit 1 fi - export DATA=$(grep -A 2 "uninitialised" valg.log|grep ".cpp") + export DATA=$(grep -A 2 "uninitialised" logs/valg.log|grep ".cpp") if [ "$DATA" != "" ]; then - cat valg.log + cat logs/valg.log echo "valgrind error" exit 1 fi - cat valg.log + cat logs/valg.log echo "valgrind check" } |