diff options
Diffstat (limited to 'build/makecheck4')
| -rwxr-xr-x | build/makecheck4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/makecheck4 b/build/makecheck4 index 5c77d7f3a..946761892 100755 --- a/build/makecheck4 +++ b/build/makecheck4 @@ -1,5 +1,5 @@ #!/bin/bash ../../checkheaders/checkheaders --skip debug.h ../src 2>tmp.txt -sed '/(style): Header not found/d' tmp.txt >makecheck4.txt +sed '/(style): Header not found/d' tmp.txt >logs/checkheader.txt rm tmp.txt |