mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
34 lines
1010 B
Bash
Executable File
34 lines
1010 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
# Copyright 2018 Jose Ignacio Alamos <jose.alamos@haw-hamburg.de>
|
|
#
|
|
# This file is subject to the terms and conditions of the GNU Lesser
|
|
# General Public License v2.1. See the file LICENSE in the top level
|
|
# directory for more details.
|
|
|
|
RIOTBASE=$(git rev-parse --show-toplevel)
|
|
CURDIR=$(cd "$(dirname "$0")" && pwd)
|
|
: "${QUIET:=0}"
|
|
: "${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
|
|
exit 0
|
|
fi
|
|
|
|
PARAMS=""
|
|
if [ $QUIET -eq 1 ]; then
|
|
_QUIET="--quiet"
|
|
fi
|
|
|
|
VERA_CMD="vera++ --root $CURDIR --exclusions $CURDIR/exclude $_QUIET"
|
|
|
|
echo "$FILES" | $VERA_CMD --profile riot \
|
|
--parameters $CURDIR/profiles/riot_params.txt -w
|