1 files changed, 20 insertions, 0 deletions
diff --git a/test/run_lint.sh b/test/run_lint.sh
new file mode 100755
index 000000000000..3230551045c7
--- /dev/null
+++ b/test/run_lint.sh
@@ -0,0 +1,20 @@
+#!/bin/sh
+# $Id: run_lint.sh,v 1.1 2010/06/08 09:00:58 tom Exp $
+# vi:ts=4 sw=4:
+
+# run lint on each of the ".c" files in the test directory
+
+if test $# = 1
+then
+	PROG_DIR=`pwd`
+	TEST_DIR=$1
+else
+	PROG_DIR=..
+	TEST_DIR=.
+fi
+
+echo '** '`date`
+for i in ${TEST_DIR}/*.c
+do
+	make -f $PROG_DIR/makefile lint C_FILES=$i srcdir=$PROG_DIR
+done