diff options
Diffstat (limited to 'build/makecheck5')
| -rwxr-xr-x | build/makecheck5 | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/build/makecheck5 b/build/makecheck5 deleted file mode 100755 index 9cf5450b6..000000000 --- a/build/makecheck5 +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/bash - -find ../src -type f -name "*.cpp" -exec ../../vera++/vera++ {} \; 2>logs/vera.txt -find ../src -type f -name "*.hpp" -exec ../../vera++/vera++ {} \; 2>>logs/vera.txt -find ../src -type f -name "*.h" -exec ../../vera++/vera++ {} \; 2>>logs/vera.txt -find ../src -type f -name "*.cc" -exec ../../vera++/vera++ {} \; 2>>logs/vera.txt |