diff options
Diffstat (limited to 'usr/src/tools/scripts/ws.sh')
| -rw-r--r-- | usr/src/tools/scripts/ws.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/usr/src/tools/scripts/ws.sh b/usr/src/tools/scripts/ws.sh index 7f9f36a7cc..3d9084c428 100644 --- a/usr/src/tools/scripts/ws.sh +++ b/usr/src/tools/scripts/ws.sh @@ -365,14 +365,6 @@ fi osbld_flag=0 -if [[ ! -v CLOSED_IS_PRESENT ]]; then - if [[ -d $SRC/../closed ]]; then - export CLOSED_IS_PRESENT="yes" - else - export CLOSED_IS_PRESENT="no" - fi -fi - if [[ -z "$ONBLD_DIR" ]]; then ONBLD_DIR=$(/bin/dirname $(whence $0)) fi |