*** 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
