Print this page
XXXX don't ship bldenv and nightly

*** 219,232 **** exit 1 fi fi shift - # contents of stdenv.sh inserted after next line: - # STDENV_START - # STDENV_END - # Check if we have sufficient data to continue... [[ -v CODEMGR_WS ]] || fatal_error "Error: Variable CODEMGR_WS not set." [[ -d "${CODEMGR_WS}" ]] || fatal_error "Error: ${CODEMGR_WS} is not a directory." [[ -f "${CODEMGR_WS}/usr/src/Makefile" ]] || fatal_error "Error: ${CODEMGR_WS}/usr/src/Makefile not found." --- 219,228 ----