diff options
| -rwxr-xr-x | build/makecheck5 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build/makecheck5 b/build/makecheck5 new file mode 100755 index 000000000..e20b58729 --- /dev/null +++ b/build/makecheck5 @@ -0,0 +1,5 @@ +#!/bin/bash + +find ../src -type f -name "*.cpp" -exec ../../vera++/vera++ {} \; 2>makecheck_err.txt +find ../src -type f -name "*.hpp" -exec ../../vera++/vera++ {} \; 2>>makecheck_err.txt +find ../src -type f -name "*.h" -exec ../../vera++/vera++ {} \; 2>>makecheck_err.txt |