?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Two useless/empty bison reductions removed.
[splint-patched.git] / src / maketags
blobbeab1b086375d1522c1fcb56e2c3171852d914f2
1 #!/bin/sh
2
3 etags *.y *.l *.c *.i Headers/* || echo "Error creating TAGS file (ignoring)"
4
Patched version for SPLint (Secure Programming Lint)