]> andersk Git - splint.git/blobdiff - src/maketags
Fixed Makefile to create bin directory.
[splint.git] / src / maketags
index 4c3468e1bdf29c16462b5eda07fb2cf834366dac..6b415591a0f95beefb01005ce866c835b0b3ff2a 100755 (executable)
@@ -1,4 +1,4 @@
 #!/bin/sh
 
-etags *.y Headers/* *.c  *.l  *.i || etags *.y Headers/* *.c  *.l  *.i;
+etags *.y Headers/* *.c  *.l  *.i || echo "Error creating TAGS file (ignoring)"
 
This page took 0.033538 seconds and 4 git commands to generate.