?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Two useless/empty bison reductions removed.
[splint-patched.git] / os2 / splint.def
blob62edab354da57534005c881973413126d4db18c0
1 NAME splint WINDOWCOMPAT
2 DESCRIPTION 'C source code checker'
3 PROTMODE
4 STACKSIZE 0x30000
Patched version for SPLint (Secure Programming Lint)