Add valgrind output check to diff script

pull/6660/head
Ahmet Gedemenli 2023-01-26 20:19:07 +03:00
parent d2d507eb85
commit 0ba273a11d
1 changed files with 6 additions and 1 deletions

View File

@ -47,7 +47,12 @@ then
sed -Ef "$normalize_file" < "$file1" > "$file1.modified" sed -Ef "$normalize_file" < "$file1" > "$file1.modified"
sed -Ef "$normalize_file" < "$file2" > "$file2.modified" sed -Ef "$normalize_file" < "$file2" > "$file2.modified"
"$DIFF" -w $args "$file1.modified" "$file2.modified" | LC_CTYPE=C.UTF-8 diff-filter "$BASEDIR/normalize.sed" "$DIFF" -w $args "$file1.modified" "$file2.modified" | LC_CTYPE=C.UTF-8 diff-filter "$BASEDIR/normalize.sed"
exit ${PIPESTATUS[0]} diff_status=${PIPESTATUS[0]}
if [ -s "$BASEDIR/../citus_valgrind_test_log.txt" ]; then
cat "$BASEDIR/../citus_valgrind_test_log.txt"
exit 1
fi
exit $diff_status
else else
exec "$DIFF" -w $args "$file1" "$file2" exec "$DIFF" -w $args "$file1" "$file2"
fi fi