diff options
Diffstat (limited to 'makecheck1')
| -rwxr-xr-x | makecheck1 | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/makecheck1 b/makecheck1 deleted file mode 100755 index 790316bf2..000000000 --- a/makecheck1 +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/bash - -cppcheck --enable=style --enable=information --enable=unusedFunction --force -j 5 -v . 1>makecheck.txt 2>makecheck_err.txt |