riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

dist/tools/headerguards: fix comment for current code

Browse Source
This commit is contained in:
Martine Lenders 2021-01-14 12:26:58 +01:00
parent bd5b195433
commit 0a99a018c2
No known key found for this signature in database
GPG Key ID: CCD317364F63286F
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
dist/tools/headerguards/check.sh vendored
View File

@ -60,8 +60,7 @@ _headercheck() {
DIFFLINE=""
# we are in a diff currently
elif [ -n "$DIFF" ]; then
# grep first line number of diff including offset to
# comment _under_ diff
# grep first line number of diff
if echo "$line" | \
grep -q "@@ -[0-9]\+\(,[0-9]\+\)\? +[0-9]\+\(,[0-9]\+\)\? @@"
then