diff options
Diffstat (limited to 'build/makecheck5')
| -rwxr-xr-x | build/makecheck5 | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/build/makecheck5 b/build/makecheck5 index e20b58729..9cf5450b6 100755 --- a/build/makecheck5 +++ b/build/makecheck5 @@ -1,5 +1,6 @@ #!/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 +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 |