From a7c557644e7fc4044fe4228a4b32d420d0b54692 Mon Sep 17 00:00:00 2001 From: Johannes 'josch' Schauer Date: Sun, 29 Nov 2020 15:13:59 +0100 Subject: [PATCH] coverage.sh: check for unshare and proot --- coverage.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/coverage.sh b/coverage.sh index 70a7e5e..99be8ac 100755 --- a/coverage.sh +++ b/coverage.sh @@ -913,6 +913,16 @@ fi for mode in root unshare fakechroot proot; do print_header "mode=$mode,variant=apt: test ext2 image" + if [ "$mode" = "unshare" ] && [ "$HAVE_UNSHARE" != "yes" ]; then + echo "HAVE_UNSHARE != yes -- Skipping test..." >&2 + skipped=$((skipped+1)) + continue + fi + if [ "$mode" = "proot" ] && [ "$HAVE_PROOT" != "yes" ]; then + echo "HAVE_PROOT != yes -- Skipping test..." >&2 + skipped=$((skipped+1)) + continue + fi cat << END > shared/test.sh #!/bin/sh set -eu