Print this page
4027 remove CLOSED_BUILD
*** 891,924 ****
fi
}
#
# Verify that the closed tree is present if it needs to be.
- # Sets CLOSED_IS_PRESENT for future use.
#
function check_closed_tree {
! if [ -z "$CLOSED_IS_PRESENT" ]; then
! if [ -d $CODEMGR_WS/usr/closed ]; then
! CLOSED_IS_PRESENT="yes"
! else
! CLOSED_IS_PRESENT="no"
! fi
! export CLOSED_IS_PRESENT
! fi
! if [[ "$CLOSED_IS_PRESENT" = no && ! -d "$ON_CLOSED_BINS" ]]; then
! #
! # If it's an old (pre-split) tree or an empty
! # workspace, don't complain.
! #
! if grep -s CLOSED_BUILD $SRC/Makefile.master > /dev/null; then
echo "If the closed sources are not present," \
"ON_CLOSED_BINS"
echo "must point to the closed binaries tree."
build_ok=n
exit 1
fi
- fi
}
function obsolete_build {
echo "WARNING: Obsolete $1 build requested; request will be ignored"
}
--- 891,909 ----
fi
}
#
# Verify that the closed tree is present if it needs to be.
#
function check_closed_tree {
! if [[ ! -d "$ON_CLOSED_BINS" ]]; then
echo "If the closed sources are not present," \
"ON_CLOSED_BINS"
echo "must point to the closed binaries tree."
build_ok=n
exit 1
fi
}
function obsolete_build {
echo "WARNING: Obsolete $1 build requested; request will be ignored"
}