From 40c9f76d91f37e2002703c59bdd7452b9d6836e2 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Fri, 10 Jan 2020 12:03:49 +0100
Subject: [PATCH] coverage.sh: check the full log to also prevent debug printfs
 to accidentally make it into a commit

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

diff --git a/coverage.sh b/coverage.sh
index 6bd022f..71e9e85 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -1710,11 +1710,16 @@ cat << END > shared/test.sh
 set -eu
 export LC_ALL=C.UTF-8
 $CMD --mode=root --variant=apt --logfile=log $DEFAULT_DIST /tmp/debian-chroot $mirror
-grep --quiet "I: running apt-get update..." log
-grep --quiet "I: downloading packages with apt..." log
-grep --quiet "I: extracting archives..." log
-grep --quiet "I: installing packages..." log
-grep --quiet "I: cleaning package lists and apt cache..." log
+# we check the full log to also prevent debug printfs to accidentally make it into a commit
+cat << LOG | diff - log
+I: chroot architecture amd64 is equal to the host's architecture
+I: gpg --version failed: cannot determine the right signed-by value
+I: running apt-get update...
+I: downloading packages with apt...
+I: extracting archives...
+I: installing packages...
+I: cleaning package lists and apt cache...
+LOG
 tar -C /tmp/debian-chroot --one-file-system -c . | tar -t | sort | diff -u tar1.txt -
 rm -r /tmp/debian-chroot
 rm log