From 732eb2a1d290f8b35b186e6b7a2aa3953c742de7 Mon Sep 17 00:00:00 2001 From: Johannes 'josch' Schauer Date: Sat, 23 Feb 2019 08:56:54 +0100 Subject: [PATCH] coverage.sh: disable fakechroot because of https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=915559 --- coverage.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/coverage.sh b/coverage.sh index 6dc0e14..bf97df0 100755 --- a/coverage.sh +++ b/coverage.sh @@ -865,6 +865,7 @@ END fi # check if the other modes produce the same result in each variant for mode in unshare fakechroot proot; do + [ "$mode" = "fakechroot" ] && continue # fontconfig doesn't install reproducibly because differences # in /var/cache/fontconfig/. See # https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864082 @@ -1097,6 +1098,7 @@ fi # create directory in sudo mode for mode in root unshare fakechroot proot; do + [ "$mode" = "fakechroot" ] && continue print_header "mode=$mode,variant=apt: create armhf tarball" if [ "$HAVE_BINFMT" != "yes" ]; then echo "HAVE_BINFMT != yes -- Skipping test..."