Skip to content

Commit 8cdf6ad

Browse files
committed
r
1 parent 9a617be commit 8cdf6ad

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

dist/tools/vera++/check.sh

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,14 +11,17 @@ CURDIR=$(cd "$(dirname "$0")" && pwd)
1111
: "${QUIET:=0}"
1212
: "${WARNING:=1}"
1313

14-
BASE_BRANCH="" . "$RIOTBASE"/dist/tools/ci/changed_files.sh
14+
BASE_BRANCH=""
15+
. "$RIOTBASE"/dist/tools/ci/changed_files.sh
1516
. "$RIOTBASE"/dist/tools/ci/github_annotate.sh
1617
# tests/pkg/utensor/models/deep_mlp_weight.hpp is an auto-generated file
1718
# with lots of commas so T009 takes very long. Since it is auto-generated, just
1819
# exclude it.
1920
EXCLUDE='^(.+/vendor/|dist/tools/coccinelle/include|dist/tools/fixdep/fixdep.c|dist/tools/lpc2k_pgm/src|tests/pkg/utensor/external_modules/models)'
2021
FILES=$(changed_files)
2122

23+
echo $FILES
24+
2225
if [ -z "${FILES}" ]; then
2326
exit 0
2427
fi
@@ -50,7 +53,7 @@ if github_annotate_is_on; then
5053
sed -e 's/^[ \t]*//' -e 's/[ \t]*$//')
5154

5255
if echo "$DETAILS" | grep -q "longer than 100 characters" &&
53-
[ -n "sed -n "${LINENUM}p" "$FILENAME" | sed -n '/\/\*\*</p'" ]
56+
[ -n "sed -n "${LINENUM}p" "${FILENAME}" | sed -n '/\/\*\*</p'" ]
5457
then
5558
# ignore inline comments exceeding line length
5659
true

0 commit comments

Comments
 (0)