lint-lib.ack 280 B

12345678910111213
  1. #!/bin/sh
  2. : '$Id$'
  3. : Create a lint library file. The name of the library file is constructed
  4. : from the first argument. The second argument indicates the directory where
  5. : the result is to be placed. This version is for ACK lint.
  6. n=$1
  7. shift
  8. d=$1
  9. shift
  10. lint -L$n $*
  11. mv $n.llb $d