diff options
Diffstat (limited to 'cad/cider/files/patch-bb')
| -rw-r--r-- | cad/cider/files/patch-bb | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/cad/cider/files/patch-bb b/cad/cider/files/patch-bb deleted file mode 100644 index eaa3598bd139..000000000000 --- a/cad/cider/files/patch-bb +++ /dev/null @@ -1,36 +0,0 @@ -*** 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 -E CC ${VERBOSE} -f - bootstrap DIR="${DIR}" SUBDIR="${SUBDIR}" \ - VPATH="${TOP0}/${DIR}/${SUBDIR}" CWD="${CWD}" - echo Done with build at `date` - else |