From 5c845a010794f41f99d3e8d747173b8f128582a1 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Tue, 12 Oct 2010 00:44:12 -0700
Subject: [PATCH] * make-dist: Simplify trap handling.

---
 make-dist | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/make-dist b/make-dist
index 6da5502a3d8..12784060a0d 100755
--- a/make-dist
+++ b/make-dist
@@ -299,7 +299,7 @@ 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
+  trap "echo 'Cleaning up the staging directory'; rm -rf ${tempparent}" EXIT
 fi
 
 echo "Creating top directory: \`${tempdir}'"
@@ -571,10 +571,7 @@ if [ "${make_tar}" = yes ]; then
     > ${emacsname}.tar${gzip_extension}
 fi
 
-if [ "${clean_up}" = yes ]; then
-  echo "Cleaning up the staging directory"
-  rm -rf ${tempparent}
-else
+if [ "${clean_up}" != yes ]; then
   (cd ${tempparent}; mv ${emacsname} ..)
   rm -rf ${tempparent}
 fi
-- 
2.39.5