From 7630029a7f3ec683ebb958f00e628471cf098745 Mon Sep 17 00:00:00 2001
From: Jelte Fennema <github-tech@jeltef.nl>
Date: Fri, 3 Jan 2020 11:29:50 +0100
Subject: [PATCH] Keep an .unmodified file for debugging

---
 src/test/regress/bin/diff | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/test/regress/bin/diff b/src/test/regress/bin/diff
index 66f617047..69672d346 100755
--- a/src/test/regress/bin/diff
+++ b/src/test/regress/bin/diff
@@ -33,8 +33,10 @@ fi
 if test -z "${VANILLATEST:-}"
 then
 	sed -Ef $BASEDIR/normalize.sed < $file1 > "$file1.modified"
+	mv "$file1" "$file1.unmodified"
 	mv "$file1.modified" "$file1"
 	sed -Ef $BASEDIR/normalize.sed < "$file2" > "$file2.modified"
+	mv "$file2" "$file2.unmodified"
 	mv "$file2.modified" "$file2"
 	$DIFF -w $args $file1 $file2
 	exitcode=$?