From 11b2d12bf719aa5fbef7415325b117f620fe4963 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Thu, 20 Nov 2025 16:50:29 -0500 Subject: Fix dev env bootstrapping of _/src dir --- .envrc | 1 + 1 file changed, 1 insertion(+) (limited to '.envrc') 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") -- cgit v1.2.3