blob: 60a52501fd53c537dd75385b83767b0b7207e245 (
plain) (
tree)
|
|
*** cider/common/util/build.orig Sat Jan 29 19:32:01 1994
--- cider/common/util/build Sun Dec 12 16:45:08 1999
***************
*** 89,95 ****
TMP_LEADER="${TMP_DIR}/buildl$$"
TMP_TRAILER="${TMP_DIR}/buildt$$"
! trap "rm -f ${TMP_LEADER} ${TMP_TRAILER}; exit 1" 1 2 3 4 6 7 8 9 10 12 13 14 15
echo > "${TMP_TRAILER}"
BAD=false
DEBUG=
--- 89,95 ----
TMP_LEADER="${TMP_DIR}/buildl$$"
TMP_TRAILER="${TMP_DIR}/buildt$$"
! trap "rm -f ${TMP_LEADER} ${TMP_TRAILER}; exit 1" 1 2 3 4 6 7 8 10 12 13 14 15
echo > "${TMP_TRAILER}"
BAD=false
DEBUG=
***************
*** 166,172 ****
echo Begin build for "${SYS_NAME}" on "${BUILD_DATE}":
$EXEC cat ${FILES0} "${TOP0}/${DIR}/${SUBDIR}/makedefs" \
"${TMP_TRAILER}" "${SKEL_DIR}/make_std.bd" \
! | /bin/make ${VERBOSE} -f - bootstrap DIR="${DIR}" SUBDIR="${SUBDIR}" \
VPATH="${TOP0}/${DIR}/${SUBDIR}" CWD="${CWD}"
echo Done with build at `date`
else
--- 166,172 ----
echo Begin build for "${SYS_NAME}" on "${BUILD_DATE}":
$EXEC cat ${FILES0} "${TOP0}/${DIR}/${SUBDIR}/makedefs" \
"${TMP_TRAILER}" "${SKEL_DIR}/make_std.bd" \
! | make ${VERBOSE} -f - bootstrap DIR="${DIR}" SUBDIR="${SUBDIR}" \
VPATH="${TOP0}/${DIR}/${SUBDIR}" CWD="${CWD}"
echo Done with build at `date`
else
|
