diff options
| author | Ben Sima <ben@bsima.me> | 2025-11-20 16:50:29 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-11-20 16:50:29 -0500 |
| commit | 11b2d12bf719aa5fbef7415325b117f620fe4963 (patch) | |
| tree | 3f6800f8a5f4dbe23c6a97adf812ee3b7dbe5a6d /.envrc | |
| parent | 01a6ed7b7bc217c5774f5665a946c1bd3898b52e (diff) | |
Fix dev env bootstrapping of _/src dir
Diffstat (limited to '.envrc')
| -rw-r--r-- | .envrc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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") |