1994-06-23 13:47:02 +00:00
|
|
|
: '$Id$'
|
1991-10-10 14:39:33 +00:00
|
|
|
|
|
|
|
|
: 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
|
