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