From 13358fc039c12881d82abce752010d91dc0b07d2 Mon Sep 17 00:00:00 2001
From: Johannes 'josch' Schauer <josch@mister-muffin.de>
Date: Fri, 23 Nov 2018 17:27:36 +0100
Subject: [PATCH] coverage.sh: conditionally copy mmdebstrap to ./shared

 - only copy if local copy is newer than the copy in ./shared
 - this enables the autopkgtest to place its own version in ./shared
   which will then not be overwritten
---
 coverage.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/coverage.sh b/coverage.sh
index fcdc8a9..c056199 100755
--- a/coverage.sh
+++ b/coverage.sh
@@ -12,7 +12,10 @@ rm -f shared/cover_db.img
 # prepare image for cover_db
 guestfish -N shared/cover_db.img=disk:100M -- mkfs vfat /dev/sda
 
-cp mmdebstrap shared
+# only copy if necessary
+if [ ! -e shared/mmdebstrap ] || [ mmdebstrap -nt shared/mmdebstrap ]; then
+	cp -a mmdebstrap shared
+fi
 
 starttime=
 total=54