Add devtools directory.

brido4125 · Nov 18, 2014 · c34f014 · c34f014
1 parent 0172246
commit c34f014
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/devtools/maketags.sh 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