]> andersk Git - splint.git/blob - src/maketags
Committing after merging Evan's changes.
[splint.git] / src / maketags
1 #!/bin/sh
2
3 etags *.y  *.l *.c *.i Headers/* || echo "Error creating TAGS file (ignoring)"
4
This page took 0.196443 seconds and 5 git commands to generate.