contrib/packaging/builddeb
changeset 40104 338230555429
parent 40103 01425e3c2645
child 40105 d3780c8f3180
--- a/contrib/packaging/builddeb	Tue Oct 09 21:40:49 2018 +0200
+++ b/contrib/packaging/builddeb	Tue Oct 09 22:16:25 2018 +0200
@@ -13,6 +13,13 @@
 DISTID=`(lsb_release -is 2> /dev/null | tr '[:upper:]' '[:lower:]') || echo debian`
 CODENAME=`lsb_release -cs 2> /dev/null || echo unknown`
 DEBFLAGS=-b
+
+cleanup() {
+    if [ '$CLEANUP' ]; then
+        rm -r '$PWD/debian';
+    fi
+}
+
 while [ "$1" ]; do
     case "$1" in
     --distid )
@@ -44,7 +51,7 @@
     esac
 done
 
-trap "if [ '$CLEANUP' ] ; then rm -r '$PWD/debian' ; fi" EXIT
+trap 'cleanup' EXIT
 
 set -u