]> andersk Git - splint.git/blobdiff - src/maketags
noexpand always false.
[splint.git] / src / maketags
index 937fc8d07c5b7dc07db01aaa9cf7cbeca842eda9..beab1b086375d1522c1fcb56e2c3171852d914f2 100755 (executable)
@@ -1,3 +1,4 @@
 #!/bin/sh
 
-etags --langmap=c:+.i.h *.y Headers/* *.c *.h *.l  *.i
+etags *.y  *.l *.c *.i Headers/* || echo "Error creating TAGS file (ignoring)"
+
This page took 0.092894 seconds and 4 git commands to generate.