summaryrefslogtreecommitdiff
path: root/build
diff options
context:
space:
mode:
Diffstat (limited to 'build')
-rwxr-xr-xbuild/makecheck42
1 files changed, 1 insertions, 1 deletions
diff --git a/build/makecheck4 b/build/makecheck4
index 852986459..5c77d7f3a 100755
--- a/build/makecheck4
+++ b/build/makecheck4
@@ -1,5 +1,5 @@
#!/bin/bash
-../../checkheaders/checkheaders ../src 2>tmp.txt
+../../checkheaders/checkheaders --skip debug.h ../src 2>tmp.txt
sed '/(style): Header not found/d' tmp.txt >makecheck4.txt
rm tmp.txt