lint-lib.unix 285 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 Unix lint.
  5. n=$1
  6. shift
  7. d=$1
  8. shift
  9. /usr/bin/lint -C$n $*
  10. mv llib-l$n.ln $d