From c34f0141a332619b63e414f431b67dc6c696d603 Mon Sep 17 00:00:00 2001 From: Park JunHyun Date: Tue, 18 Nov 2014 20:02:48 +0900 Subject: [PATCH] Add devtools directory. --- devtools/maketags.sh | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 devtools/maketags.sh diff --git a/devtools/maketags.sh b/devtools/maketags.sh new file mode 100755 index 000000000..b97edd653 --- /dev/null +++ b/devtools/maketags.sh @@ -0,0 +1,4 @@ +#!/bin/sh +find ../src -name "*java" > ./cscope.files +ctags --extra=+q -L ./cscope.files -f ./tags +rm ./cscope.files