From 3a9ba24d12719f045629f047054c287b7d8e7ffb Mon Sep 17 00:00:00 2001 From: Johannes Schauer Marin Rodrigues Date: Mon, 7 Mar 2022 11:30:45 +0100 Subject: [PATCH] coverage.sh: output diff to stderr prevent interleaving with sh -x output --- coverage.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coverage.sh b/coverage.sh index dc670c8..f8e7a37 100755 --- a/coverage.sh +++ b/coverage.sh @@ -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