1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-25 06:23:53 +01:00

Merge pull request #15768 from miri64/dist/fix/headerguards-comment

dist/tools/headerguards: fix comment for current code
This commit is contained in:
Martine Lenders 2021-01-14 12:34:55 +01:00 committed by GitHub
commit 6dfdde9b81
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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