blob: 6f9657906f79c18cad4158aa18ab7d962f65cae2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- util/build.orig 1993-07-29 08:46:39 UTC
+++ util/build
@@ -96,7 +96,7 @@ DIR4=`basename ${TOP3}`
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
+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=
|
