diff options
-rw-r--r-- | src/MAKE_ETAGS | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/MAKE_ETAGS b/src/MAKE_ETAGS deleted file mode 100644 index 94b9597aa40..00000000000 --- a/src/MAKE_ETAGS +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -trap "rm -f /tmp/$$" 0 1 2 3 15 -rm -f ./TAGS -find `pwd`/ -type f -name '*.[chyl]' -print | \ - xargs etags --append --output=TAGS - -find . -type d -print | \ -while read DIR; do - [ "$DIR" != "." ] && ln -f -s `pwd`/TAGS $DIR -done |