From c8dbe5bd1581f4e84669dc089824f47dd7d3918d Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Fri, 7 Dec 2018 00:13:51 +0100
Subject: [PATCH] coverage.sh: account for differently ordered /etc/shells

---
 coverage.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/coverage.sh b/coverage.sh
index a80e9f3..713b8a8 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -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