summaryrefslogtreecommitdiff
path: root/.envrc
diff options
context:
space:
mode:
Diffstat (limited to '.envrc')
-rw-r--r--.envrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/.envrc b/.envrc
index 08ca0d5..7e9583e 100644
--- a/.envrc
+++ b/.envrc
@@ -54,6 +54,7 @@
[[ -n "CI" ]] && exit 0
#
# create third-party tags
+ [[ -L "$CODEROOT"/_/src/.ctags.d ]] || ln -s "$CODEROOT"/.ctags.d "$CODEROOT"/_/src/.ctags.d
function MakeExternalTags {
"$CODEROOT"/Biz/Ide/MakeTags.py --external $(tr ':' '\n' <<< "$ALL_SOURCES")
}