From deb09d7bb9b6a46b318db672fbd53d4fc6154a9a Mon Sep 17 00:00:00 2001 From: "Kenneth Benzie (Benie)" Date: Wed, 9 Apr 2025 14:44:16 +0100 Subject: [PATCH] Print build directory once selected --- build/build.plugin.zsh | 1 + 1 file changed, 1 insertion(+) diff --git a/build/build.plugin.zsh b/build/build.plugin.zsh index 35d5715..951e542 100644 --- a/build/build.plugin.zsh +++ b/build/build.plugin.zsh @@ -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