- #!/bin/sh
- : '$Id$'
- : 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
|