Update check-headers script to ignore platform headers (google#6472)

allenymt · Jan 18, 2023 · 4c4201c · 4c4201c
1 parent 3ee635f
commit 4c4201c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/build/common/check-headers.sh b/build/common/check-headers.sh
@@ -44,6 +44,10 @@ FILAMENT_HEADERS="$1"
 includes=()
 pushd "$FILAMENT_HEADERS" >/dev/null
 for f in $(find . -name '*.h'); do
+    # Ignore platform headers. These may contain platform-specific includes.
+    if [[ "$f" == *backend/platforms/* ]]; then
+        continue
+    fi
     include_path="${f#./}"    # strip leading ./
     includes+=("${include_path}")
 done