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