1 files changed, 1 insertions, 0 deletions
diff --git a/common.mk b/common.mk
index 817dc3fe72..11fcea9489 100644
--- a/common.mk
+++ b/common.mk
@@ -716,6 +716,7 @@ clean-spec: PHONY
 
 check: main test test-tool test-all test-spec
 	$(ECHO) check succeeded
+	- $(GIT) --no-pager -C "$(srcdir)" log -G "^ *# *include" origin/master..HEAD
 check-ruby: test test-ruby
 
 fake: $(CROSS_COMPILING)-fake