diff options
Diffstat (limited to 'usr/src/tools/scripts/ws.sh')
| -rw-r--r-- | usr/src/tools/scripts/ws.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/usr/src/tools/scripts/ws.sh b/usr/src/tools/scripts/ws.sh index 262aaeb7e8..02f710ac80 100644 --- a/usr/src/tools/scripts/ws.sh +++ b/usr/src/tools/scripts/ws.sh @@ -106,6 +106,9 @@ else fi WHICH_SCM=$(dirname $(whence $0))/which_scm +if [[ ! -x $WHICH_SCM ]]; then + WHICH_SCM=which_scm +fi # # No workspace/repository path was given, so try and detect one from our |