Skip to content

Commit

Permalink
Merge pull request RIOT-OS#13403 from jia200x/pr/vera++_relax_errors
Browse files Browse the repository at this point in the history
vera++: remove non-zero exit code
  • Loading branch information
miri64 authored Feb 19, 2020
2 parents 48b75d3 + eaf2fec commit 953e8c9
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions dist/tools/vera++/check.sh
Original file line number Diff line number Diff line change
Expand Up @@ -29,8 +29,8 @@ VERA_CMD="vera++ --root $CURDIR --exclusions $CURDIR/exclude $_QUIET"

if [ $WARNING -ne 0 ]; then
echo "$FILES" | $VERA_CMD --profile riot \
--parameters $CURDIR/profiles/riot_params.txt | sed 's/^/warning: /g'
--parameters $CURDIR/profiles/riot_params.txt -w | sed 's/^/warning: /g'
fi

echo "$FILES" | $VERA_CMD --profile riot_force \
--parameters $CURDIR/profiles/riot_force_params.txt --error
--parameters $CURDIR/profiles/riot_force_params.txt -w

0 comments on commit 953e8c9

Please sign in to comment.