diff options
Diffstat (limited to 'build')
| -rwxr-xr-x | build/makecheck4 | 2 |
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 |