diff options
Diffstat (limited to 'cad/spice/files/patch-util_build')
| -rw-r--r-- | cad/spice/files/patch-util_build | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/cad/spice/files/patch-util_build b/cad/spice/files/patch-util_build new file mode 100644 index 000000000000..de7b2dd1c6e3 --- /dev/null +++ b/cad/spice/files/patch-util_build @@ -0,0 +1,11 @@ +--- util/build.orig Thu Jul 29 03:46:39 1993 ++++ util/build Thu Jul 17 00:47:50 2003 +@@ -96,7 +96,7 @@ + + 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= |