bin/lint-lib.ack

   1 #!/bin/sh
   2
   3 : '$Id: lint-lib.ack,v 1.2 1994/06/23 13:46:53 ceriel Exp $'
   4
   5 : Create a lint library file. The name of the library file is constructed
   6 : from the first argument. The second argument indicates the directory where
   7 : the result is to be placed. This version is for ACK lint.
   8
   9 n=$1
  10 shift
  11 d=$1
  12 shift
  13 lint -L$n $*
  14 mv $n.llb $d