--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lint/source-rules.sh	Sat Dec 22 17:52:45 2007 -0500
@@ -0,0 +1,27 @@
+#!/bin/sh
+# source-rules.sh - generate source-list make rules for lint dir
+# usage: source-rules.sh > rules.mk
+
+if [ $# != 0 ]; then
+    echo "$0: usage: $0" 1>&2
+    exit 1
+fi
+
+(
+    echo tool -t
+    echo main -m
+    echo example -x
+) | awk '
+    {
+	s = $1 ".srcs";
+	t = $1 ".tmp";
+	printf "%s: always\n", s;
+	printf "\t@$(TOP)/lint/get-sources.sh %s $(TOP) > %s\n", $2, t;
+	printf "\t@if diff %s %s >/dev/null 2>&1; then \\\n", s, t;
+	printf "\t     rm -f %s;\\\n", t;
+	printf "\t else\\\n";
+	printf "\t     mv -f %s %s;\\\n", t, s;
+	printf "\t fi\n";
+	printf "\n";
+    }
+'