lint-lib.ack 270 B

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