From c0ac77b01d79c7b65f8b7eb8ebf1d264c509c533 Mon Sep 17 00:00:00 2001 From: Johannes 'josch' Schauer Date: Sun, 24 Feb 2019 11:00:24 +0100 Subject: [PATCH] coverage.sh: stable default mirror: don't forget to remove chroot and only run test with qemu --- coverage.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/coverage.sh b/coverage.sh index a7c1994..6d723ea 100755 --- a/coverage.sh +++ b/coverage.sh @@ -430,11 +430,12 @@ deb http://deb.debian.org/debian stable main deb http://deb.debian.org/debian stable-updates main deb http://security.debian.org/debian-security stable/updates main SOURCES +rm -r /tmp/debian-unstable END if [ "$HAVE_QEMU" = "yes" ]; then ./run_qemu.sh else - ./run_null.sh SUDO + echo "HAVE_QEMU != yes -- Skipping test..." fi print_header "mode=$defaultmode,variant=apt: pass distribution but implicitly write to stdout"