From 26b1ff3fff4f975d53f8574d6e87c82b40e92cd1 Mon Sep 17 00:00:00 2001 From: Johannes 'josch' Schauer Date: Sat, 23 Feb 2019 08:47:53 +0100 Subject: [PATCH] coverage.sh: fix print_header with defaultmode tests --- coverage.sh | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/coverage.sh b/coverage.sh index 4de689d..d685fb3 100755 --- a/coverage.sh +++ b/coverage.sh @@ -421,7 +421,7 @@ else ./run_null.sh SUDO fi -print_header "mode=auto,variant=apt: pass distribution but implicitly write to stdout" +print_header "mode=$defaultmode,variant=apt: pass distribution but implicitly write to stdout" cat << END > shared/test.sh #!/bin/sh set -eu @@ -438,7 +438,7 @@ else echo "HAVE_QEMU != yes -- Skipping test..." fi -print_header "mode=auto,variant=apt: mirror is -" +print_header "mode=$defaultmode,variant=apt: mirror is -" cat << END > shared/test.sh #!/bin/sh set -eu @@ -456,7 +456,7 @@ else ./run_null.sh fi -print_header "mode=auto,variant=apt: mirror is deb..." +print_header "mode=$defaultmode,variant=apt: mirror is deb..." cat << END > shared/test.sh #!/bin/sh set -eu @@ -474,7 +474,7 @@ else ./run_null.sh fi -print_header "mode=auto,variant=apt: mirror is real file" +print_header "mode=$defaultmode,variant=apt: mirror is real file" cat << END > shared/test.sh #!/bin/sh set -eu @@ -493,7 +493,7 @@ else ./run_null.sh fi -print_header "mode=auto,variant=apt: no mirror but data on stdin" +print_header "mode=$defaultmode,variant=apt: no mirror but data on stdin" cat << END > shared/test.sh #!/bin/sh set -eu