From 75609a0b55fabde5dbd77643ac37523dbdc7ca45 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Sat, 4 Jan 2020 00:36:21 +0100
Subject: [PATCH] coverage.sh: make sure we have a gzip compressed file by
 checking the first three magic bytes

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

diff --git a/coverage.sh b/coverage.sh
index a6e0a06..d26eedc 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -453,6 +453,7 @@ export LC_ALL=C.UTF-8
 adduser --gecos user --disabled-password user
 sysctl -w kernel.unprivileged_userns_clone=1
 runuser -u user -- $CMD --mode=unshare --variant=apt $DEFAULT_DIST /tmp/debian-chroot.tar.gz $mirror
+printf '\037\213\010' | cmp --bytes=3 /tmp/debian-chroot.tar.gz -
 tar -tf /tmp/debian-chroot.tar.gz | sort | diff -u tar1.txt -
 rm /tmp/debian-chroot.tar.gz
 END