1 files changed, 5 insertions, 0 deletions
diff --git a/build/makecheck4 b/build/makecheck4
new file mode 100755
index 000000000..852986459
--- /dev/null
+++ b/build/makecheck4
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+../../checkheaders/checkheaders ../src 2>tmp.txt
+sed '/(style): Header not found/d' tmp.txt >makecheck4.txt
+rm tmp.txt