From 1892da1b1a9ba3b4f088d6da70169a2c9ec4b43a Mon Sep 17 00:00:00 2001 From: Martine Lenders Date: Tue, 5 Jan 2021 17:15:00 +0100 Subject: [PATCH] dist/tools/vera++: exclude tests/pkg_utensor/models/deep_mlp_weight.hpp --- dist/tools/vera++/check.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/dist/tools/vera++/check.sh b/dist/tools/vera++/check.sh index 631e00f469..24d01b565b 100755 --- a/dist/tools/vera++/check.sh +++ b/dist/tools/vera++/check.sh @@ -12,6 +12,10 @@ CURDIR=$(cd "$(dirname "$0")" && pwd) : "${WARNING:=1}" . "$RIOTBASE"/dist/tools/ci/changed_files.sh +# tests/pkg_utensor/models/deep_mlp_weight.hpp is an auto-generated file +# with lots of commas so T009 takes very long. Since it is auto-generated, just +# exclude it. +EXCLUDE='^(.+/vendor/|dist/tools/coccinelle/include|dist/tools/fixdep/fixdep.c|dist/tools/lpc2k_pgm/src|tests/pkg_utensor/models)' FILES=$(changed_files) if [ -z "${FILES}" ]; then