contrib/packaging/builddeb
changeset 40106 d3780c8f3180
parent 40105 338230555429
child 40107 930bce0741de
--- a/contrib/packaging/builddeb	Tue Oct 09 22:16:25 2018 +0200
+++ b/contrib/packaging/builddeb	Tue Oct 09 22:18:35 2018 +0200
@@ -16,7 +16,7 @@
 
 cleanup() {
     if [ '$CLEANUP' ]; then
-        rm -r '$PWD/debian';
+        rm -r "$PWD/debian";
     fi
 }