diff options
Diffstat (limited to 'cad/cider/files/patch-bb')
| -rw-r--r-- | cad/cider/files/patch-bb | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/cad/cider/files/patch-bb b/cad/cider/files/patch-bb new file mode 100644 index 000000000000..5f68e8c080e6 --- /dev/null +++ b/cad/cider/files/patch-bb @@ -0,0 +1,36 @@ +*** sim/cider/common/util/build.orig Sat Jan 29 19:32:01 1994 +--- sim/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" \ +! | /usr/bin/make ${VERBOSE} -f - bootstrap DIR="${DIR}" SUBDIR="${SUBDIR}" \ + VPATH="${TOP0}/${DIR}/${SUBDIR}" CWD="${CWD}" + echo Done with build at `date` + else |