*** NO COMMENTS ***
@@ -351,10 +351,18 @@ export ENVLDLIBS3 fi osbld_flag=0 +if [[ -z "$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=$(dirname $(whence $0)) fi if ! echo ":$PATH:" | grep ":${ONBLD_DIR}:" > /dev/null; then