bin/lint-lib.unix

   1 : '$Id: lint-lib.unix,v 1.2 1994/06/23 13:46:57 ceriel Exp $'
   2
   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 Unix lint.
   6
   7 n=$1
   8 shift
   9 d=$1
  10 shift
  11 /usr/bin/lint -C$n $*
  12 mv llib-l$n.ln $d