Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 08-May-2022 | - | ||||
files.lnt | H A D | 08-May-2022 | 443 | 15 | 14 | |
lint.bat | H A D | 08-May-2022 | 443 | 16 | 11 | |
lset.bat | H A D | 08-May-2022 | 19 | 2 | 1 | |
options.lnt | H A D | 08-May-2022 | 3.7 KiB | 86 | 70 | |
readme.txt | H A D | 08-May-2022 | 426 | 14 | 10 | |
std16.lnt | H A D | 08-May-2022 | 306 | 16 | 9 | |
std32.lnt | H A D | 08-May-2022 | 283 | 15 | 12 | |
std64.lnt | H A D | 08-May-2022 | 303 | 18 | 13 |
readme.txt
1 2Lint files for PC-Lint (FlexLint) by Gimpel Software, Inc. 3 4These are the configuration and option files used to lint the 5ACPI-CA software. 6 7lset.bat - adds lint directory to the command line search path 8lint.bat - lint batch file for 32 and 64 bit lint 9std16.lnt - 16-bit options 10std32.lnt - 32-bit options 11std64.lnt - 64-bit options 12options.lnt - common options 13others - windows/dos compiler option files 14