lpatch help

lpatch.help.txt

Format:

lpatch patch-file [-dlint-dir] [-bbackup-dir] [-t] [-v]

will apply the patch information provided by the patch-file.
Options:
  -dlint-dir (the PC-lint directory) specifies the directory 
      containing the file(s) to be patched (current directory is 
      the default). Files in this directory that are patched are
      first copied to a back-up directory
  -bbackup-dir specifies a back-up directory (the default is
      lint-dir/Vxxxx, where Vxxxx is a version identifier based upon
      the version that is currently in the PC-lint directory).
  -ffile-name specifies a file name (default is lint-nt.exe). 
      This useful for patching files such as lint-os2.exe (for OS/2)
      or lint.exe (for MSDOS)
  -t  Test the water; examines the patch file and PC-lint directory
      but does no patching
  -v  Verbosity -- gives play-by-play description of patches
Recommended command: 
   lpatch  patch-file  
run from the PC-lint directory.

Note: before any patching is done the PC-lint directory is checked 
      to see if it has the correct version and the files in
      this directory are checked for correct content