diff --git a/dist/tools/headerguards/check.sh b/dist/tools/headerguards/check.sh index 135dbe0f27..82559e6312 100755 --- a/dist/tools/headerguards/check.sh +++ b/dist/tools/headerguards/check.sh @@ -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