summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuild/makecheck55
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