Keep an .unmodified file for debugging

pull/3336/head
Jelte Fennema 2020-01-03 11:29:50 +01:00
parent 9a819d401a
commit 7630029a7f
1 changed files with 2 additions and 0 deletions

View File

@ -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=$?