<p></p>
<p><b>@jia200x</b> commented on this pull request.</p>

<hr>

<p>In <a href="https://github.com/RIOT-OS/RIOT/pull/15753#discussion_r555953552">dist/tools/vera++/check.sh</a>:</p>
<pre style='color:#555'>>  echo "$FILES" | $VERA_CMD --profile riot \
-    --parameters $CURDIR/profiles/riot_params.txt -w
+    --parameters $CURDIR/profiles/riot_params.txt -w 2>&1 | ${LOG}
+# Uncomment when the script should error
+# RESULT=${PIPESTATUS[0]}
+
+if github_annotate_is_on; then
+    _annotate() {
+        FILENAME=$(echo "${line}" | cut -d: -f1)
+        LINENUM=$(echo "${line}" | cut -d: -f2)
+        DETAILS=$(echo "${line}" | cut -d: -f3- |
+                  sed -e 's/^[ \t]*//' -e 's/[ \t]*$//')
+
+        # parse if warning (errors don't have a label)
</pre>
<p>See how the output changes depending of the flag (<code>-w</code> or <code>-e</code>)</p>
<pre><code>riotbuild@65e50cd10c65:~/riotbase$ vera++ --root $(pwd)/dist/tools/vera++ --profile riot_force -e sys/net/gnrc/link_layer/gomach/gomach.c
sys/net/gnrc/link_layer/gomach/gomach.c:2205: error: source file is too long
riotbuild@65e50cd10c65:~/riotbase$ vera++ --root $(pwd)/dist/tools/vera++ --profile riot_force -w sys/net/gnrc/link_layer/gomach/gomach.c
sys/net/gnrc/link_layer/gomach/gomach.c:2205: warning: source file is too long
</code></pre>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/RIOT-OS/RIOT/pull/15753#discussion_r555953552">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABE7WYG2D3U4VKBZW5PQAJDSZSCDPANCNFSM4V7QVDDA">unsubscribe</a>.<img src="https://github.com/notifications/beacon/ABE7WYBW7D7RAKY7KDKSL4LSZSCDPA5CNFSM4V7QVDDKYY3PNVWWK3TUL52HS4DFWFIHK3DMKJSXC5LFON2FEZLWNFSXPKTDN5WW2ZLOORPWSZGOEHCEXGA.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/RIOT-OS/RIOT/pull/15753#discussion_r555953552",
"url": "https://github.com/RIOT-OS/RIOT/pull/15753#discussion_r555953552",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>