This allows us to ensure that each header can be included
individually without needing to include other headers first.
Signed-off-by: David Aguilar <dav...@gmail.com>
---
This patch demonstrates how to verify PATCH 2/2.
Makefile | 6 ++++++
check-headers.sh | 26 ++++++++++++++++++++++++++
2 files changed, 32 insertions(+)
create mode 100755 check-headers.sh
diff --git a/Makefile b/Makefile
index 30cc622..bc54024 100644
--- a/Makefile
+++ b/Makefile
@@ -2591,6 +2591,12 @@ check-docs::
check-builtins::
./check-builtins.sh
+### Make sure headers include their dependencies
+#
+check-headers::
+ ./check-headers.sh $(CC) $(ALL_CFLAGS)
+
+
### Test suite coverage testing
#
.PHONY: coverage coverage-clean coverage-compile coverage-test coverage-report
diff --git a/check-headers.sh b/check-headers.sh
new file mode 100755
index 0000000..bf85c41
--- /dev/null
+++ b/check-headers.sh
@@ -0,0 +1,26 @@
+#!/bin/sh
+
+exit_code=0
+
+maybe_exit () {
+ status="$1"
+ if test "$status" != 0
+ then
+ exit_code="$status"
+ if test -n "$CHECK_HEADERS_STOP"
+ then
+ exit "$status"
+ fi
+ fi
+}
+
+git ls-files *.h |
+while read header
+do
+ echo "HEADER $header" &&
+ "$@" -Wno-unused -x c -c -o "$header".bin - <"$header" &&
+ rm "$header".bin ||
+ maybe_exit $?
+done
+
+exit $exit_code
--
2.1.0.62.g7dc6c49
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
