X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/2c88d15660f284e7420c382f49689ef9b18d45dc..35e063d82040a7c7a6da8634cf377e19ee0662d1:/src/maketags

diff --git a/src/maketags b/src/maketags
index 4c3468e..beab1b0 100755
--- a/src/maketags
+++ b/src/maketags
@@ -1,4 +1,4 @@
 #!/bin/sh
 
-etags *.y Headers/* *.c  *.l  *.i || etags *.y Headers/* *.c  *.l  *.i;
+etags *.y  *.l *.c *.i Headers/* || echo "Error creating TAGS file (ignoring)"