summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.envrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/.envrc b/.envrc
index 09cc654..9a5e7c8 100644
--- a/.envrc
+++ b/.envrc
@@ -67,6 +67,7 @@
[[ -n "${CI}" ]] && exit 0
#
# create third-party tags
+ mkdir -p "$CODEROOT"/_/src
[[ -L "$CODEROOT"/_/src/.ctags.d ]] || ln -s "$CODEROOT"/.ctags.d "$CODEROOT"/_/src/.ctags.d
function MakeExternalTags {
"$CODEROOT"/Omni/Ide/MakeTags.py --external $(tr ':' '\n' <<< "$ALL_SOURCES")