coverage.sh: print unified diff

pull/1/head
parent 35b72c9895
commit 6eb52d8095
Signed by: josch
GPG Key ID: F2CBA5C78FBD83E1

@ -258,7 +258,7 @@ else
fi
# check if the file content differs
diff --no-dereference --recursive /tmp/debian-$dist-debootstrap /tmp/debian-$dist-mm
diff --unified --no-dereference --recursive /tmp/debian-$dist-debootstrap /tmp/debian-$dist-mm
# check permissions, ownership, symlink targets, modification times using tar
# directory mtimes will differ, thus we equalize them first

Loading…
Cancel
Save