13 lines
289 B
Plaintext
13 lines
289 B
Plaintext
|
: '$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
|