diff make-dist @ 994:5b2a1922c4d5

*** empty log message ***
author Eric S. Raymond <esr@snark.thyrsus.com>
date Fri, 14 Aug 1992 22:36:42 +0000
parents 144a9a018e7c
children 9cb2c2723b73
line wrap: on
line diff
--- a/make-dist	Fri Aug 14 19:34:06 1992 +0000
+++ b/make-dist	Fri Aug 14 22:36:42 1992 +0000
@@ -9,7 +9,7 @@
 progname="$0"
 
 # Exit if a command fails.
-set -e
+# set -e
 
 # Print out each line we read, for debugging's sake.
 # set -v
@@ -79,6 +79,12 @@
 emacsname="emacs-${version}"
 tempdir="${tempparent}/${emacsname}"
 
+# This trap ensures that the staging directory will be cleaned up even
+# when the script is interrupted in mid-career.
+if [ "${clean_up}" = yes ]; then
+  trap "echo 'Interrupted...cleaning up the staging directory.'; rm -rf ${tempparent}; exit 1" 1 2 15
+fi
+
 echo "Creating top directory: \`${tempdir}'"
 mkdir ${tempdir}
 
@@ -135,8 +141,7 @@
  ln .gdbinit .dbxinit ../${tempdir}/src
  ln *.com *.opt vms-pp.trans vmsbuild ../${tempdir}/src
  cd ../${tempdir}/src
- rm -f config.h paths.h Makefile
- etags *.h *.c ../lisp/*.el)
+ rm -f config.h paths.h Makefile)
 
 echo "Making links to \`src/m'."
 (cd src/m
@@ -221,3 +226,5 @@
   echo "Cleaning up the staging directory."
   rm -rf ${tempparent}
 fi
+
+# make-dist ends here