diff --git a/tools/unix/workspace-status.sh b/tools/unix/workspace-status.sh index c13e7ebc9a1..561a34a5fc3 100755 --- a/tools/unix/workspace-status.sh +++ b/tools/unix/workspace-status.sh @@ -4,7 +4,6 @@ # runs during each build. script_dir=$(dirname "$0") -workspace=$(realpath "${script_dir}/../..") inside_work_tree=$(git rev-parse --is-inside-work-tree 2>/dev/null) # Check for issues that may affect developer workspace