coverage.sh: account for differently ordered /etc/shells

This commit is contained in:
Johannes 'josch' Schauer 2018-12-07 00:13:51 +01:00
parent f101057e1b
commit c8dbe5bd15
Signed by untrusted user: josch
GPG key ID: F2CBA5C78FBD83E1

View file

@ -150,6 +150,11 @@ if [ "$dist" != "stable" ]; then
rm /tmp/debian-$dist-debootstrap/var/lib/dpkg/lock-frontend
fi
# the list of shells might be sorted wrongly
for f in "/tmp/debian-$dist-debootstrap/etc/shells" "/tmp/debian-$dist-mm/etc/shells"; do
sort -o "\$f" "\$f"
done
# check if the file content differs
diff --no-dereference --brief --recursive /tmp/debian-$dist-debootstrap /tmp/debian-$dist-mm