coverage.sh: output diff to stderr prevent interleaving with sh -x output

debextract
parent 7044baf6b1
commit 3a9ba24d12
Signed by untrusted user: josch
GPG Key ID: F2CBA5C78FBD83E1

@ -335,7 +335,7 @@ if [ $variant = - ]; then
fi
# check if the file content differs
diff --unified --no-dereference --recursive /tmp/debian-$dist-debootstrap /tmp/debian-$dist-mm
diff --unified --no-dereference --recursive /tmp/debian-$dist-debootstrap /tmp/debian-$dist-mm >&2
# check permissions, ownership, symlink targets, modification times using tar
# directory mtimes will differ, thus we equalize them first

Loading…
Cancel
Save