diff --git a/src/test/regress/bin/diff b/src/test/regress/bin/diff index a0b40f328..0cf3df63a 100755 --- a/src/test/regress/bin/diff +++ b/src/test/regress/bin/diff @@ -47,7 +47,12 @@ then sed -Ef "$normalize_file" < "$file1" > "$file1.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" - 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 exec "$DIFF" -w $args "$file1" "$file2" fi