config/zsh
1
0
Fork 0
Code Issues 7 Pull Requests Releases Wiki Activity

Print build directory once selected

Browse Source
This commit is contained in:
Kenneth Benzie 2025-04-09 14:44:16 +01:00
parent a0468b7842
commit deb09d7bb9
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build/build.plugin.zsh
View File

@ -126,6 +126,7 @@ EOF
hash -d build=$local_build_dir
export build_dir=$local_build_dir
export BUILD_DIR=$PWD/$local_build_dir
echo "build diretory: $build_dir"
# If `--build` is specified then evaluate the command.
if [[ -n $do_build ]]; then