From 5d6b35213cd6983e98fcb98fba444bf01eb76107 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Fri, 22 Jan 2021 18:39:04 +0100 Subject: [PATCH] Add the file name ;) --- .ci/ci-test.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/ci-test.sh b/.ci/ci-test.sh index f84e7fdb..c3d163de 100755 --- a/.ci/ci-test.sh +++ b/.ci/ci-test.sh @@ -125,7 +125,7 @@ t || grep -Eq 'telemetry.example.*REJECT' query.log || fail t || grep -Eq 'dns.google.*REJECT' query.log || fail t || grep -Eq 'tracker.xdebian.org.*REJECT' query.log || fail t || grep -Eq 'tracker.debian.org.*PASS' query.log || fail -t || grep -Eq '[.].*NS.*PASS' || fail +t || grep -Eq '[.].*NS.*PASS' query.log || fail section t || grep -Fq 'tracker.debian.org' allowed-names.log || fail