diff options
author | Andrei Karas <akaras@inbox.ru> | 2012-02-11 19:39:06 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2012-02-11 19:39:19 +0300 |
commit | bb156df11431e3eb286ddd3311adf1ac710945e0 (patch) | |
tree | d66f0431c832dde34209b1d1bef51991b34ce5e9 /build | |
parent | 1e255ec19ececda196874f751a81682169cf64c3 (diff) | |
download | mv-bb156df11431e3eb286ddd3311adf1ac710945e0.tar.gz mv-bb156df11431e3eb286ddd3311adf1ac710945e0.tar.bz2 mv-bb156df11431e3eb286ddd3311adf1ac710945e0.tar.xz mv-bb156df11431e3eb286ddd3311adf1ac710945e0.zip |
Remove some unneeded includes.
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 |