Added scripts

1991-10-10 14:39:33 +00:00
parent 64eacb4c9f
commit 66e3a001cc
8 changed files with 130 additions and 0 deletions
--- a/bin/lint-lib.unix
+++ b/bin/lint-lib.unix
@@ -0,0 +1,12 @@
+: '$Header$'
+
+: Create a lint library file. The name of the library file is constructed
+: from the first argument. The second argument indicates the directory where
+: the result is to be placed. This version is for Unix lint.
+
+n=$1
+shift
+d=$1
+shift
+/usr/bin/lint -C$n $*
+mv llib-l$n.ln $d