dist/tools: add a leading whitespace check for #pragma once

crasbe · crasbe · commit ab1356e58c33 · 2025-04-23T22:56:13.000+02:00
When adding the #pragma once after a comment block, many editors
will remain at the previous indentation level, adding a leading
whitespace to the #pragma once. This is invalid, but causes the
headerguards check to fail. Since it is a common issue, it
warrants a separate check with a proposed solution, just like
for other headerguard issues that are checked.
diff --git a/dist/tools/headerguards/headerguards.py b/dist/tools/headerguards/headerguards.py
@@ -50,6 +50,10 @@ def fix_headerguard(filename):
     for line in inlines:
         if line.startswith("#pragma once"):
             pragma_once_found += 1
+        elif line.lstrip().startswith("#pragma once"):
+            # check for lines that have leading whitespaces and add a correction
+            pragma_once_found += 1
+            line = "#pragma once\n"
         if guard_found == 0 and pragma_once_found == 0:
             if line.startswith("#ifndef"):
                 guard_found += 1
