aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEric S. Raymond1992-08-14 22:36:42 +0000
committerEric S. Raymond1992-08-14 22:36:42 +0000
commit00c00348f41760d2baa37e84ff63d79138ce1373 (patch)
treea67a8c059c8e0bf327ee1d09b42ecc40b7a13bb8
parent6ca8e64c3aa50c47501d4c0deaec09df234b66af (diff)
downloademacs-00c00348f41760d2baa37e84ff63d79138ce1373.tar.gz
emacs-00c00348f41760d2baa37e84ff63d79138ce1373.zip
*** empty log message ***
-rwxr-xr-xmake-dist13
1 files changed, 10 insertions, 3 deletions
diff --git a/make-dist b/make-dist
index ddebb95aad2..17ce892240e 100755
--- a/make-dist
+++ b/make-dist
@@ -9,7 +9,7 @@
9progname="$0" 9progname="$0"
10 10
11# Exit if a command fails. 11# Exit if a command fails.
12set -e 12# set -e
13 13
14# Print out each line we read, for debugging's sake. 14# Print out each line we read, for debugging's sake.
15# set -v 15# set -v
@@ -79,6 +79,12 @@ mkdir ${tempparent}
79emacsname="emacs-${version}" 79emacsname="emacs-${version}"
80tempdir="${tempparent}/${emacsname}" 80tempdir="${tempparent}/${emacsname}"
81 81
82# This trap ensures that the staging directory will be cleaned up even
83# when the script is interrupted in mid-career.
84if [ "${clean_up}" = yes ]; then
85 trap "echo 'Interrupted...cleaning up the staging directory.'; rm -rf ${tempparent}; exit 1" 1 2 15
86fi
87
82echo "Creating top directory: \`${tempdir}'" 88echo "Creating top directory: \`${tempdir}'"
83mkdir ${tempdir} 89mkdir ${tempdir}
84 90
@@ -135,8 +141,7 @@ echo "Making links to \`src'."
135 ln .gdbinit .dbxinit ../${tempdir}/src 141 ln .gdbinit .dbxinit ../${tempdir}/src
136 ln *.com *.opt vms-pp.trans vmsbuild ../${tempdir}/src 142 ln *.com *.opt vms-pp.trans vmsbuild ../${tempdir}/src
137 cd ../${tempdir}/src 143 cd ../${tempdir}/src
138 rm -f config.h paths.h Makefile 144 rm -f config.h paths.h Makefile)
139 etags *.h *.c ../lisp/*.el)
140 145
141echo "Making links to \`src/m'." 146echo "Making links to \`src/m'."
142(cd src/m 147(cd src/m
@@ -221,3 +226,5 @@ if [ "${clean_up}" = yes ]; then
221 echo "Cleaning up the staging directory." 226 echo "Cleaning up the staging directory."
222 rm -rf ${tempparent} 227 rm -rf ${tempparent}
223fi 228fi
229
230# make-dist ends here