kaspar/RIOT
1
0
Fork 0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-28 16:01:18 +01:00
Code Releases Activity

Merge pull request #13403 from jia200x/pr/vera++_relax_errors

Browse Source 
vera++: remove non-zero exit code
This commit is contained in:
Martine Lenders 2020-02-19 18:46:35 +01:00 committed by GitHub
commit 953e8c9c15
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dist/tools/vera++/check.sh vendored
View File

@ -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