From da44888ee2de9ae1e5c006126e84b36fcc95d4e5 Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Wed, 8 Feb 2012 00:50:20 +0300 Subject: Add makecheck5 tool. --- build/makecheck5 | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 build/makecheck5 (limited to 'build') 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 -- cgit v1.2.3-60-g2f50