summaryrefslogtreecommitdiff
path: root/git-debpush
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-21 01:52:27 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-21 16:22:23 +0100
commit18328a4af50e91cc8899bb519548b505af548abe (patch)
treebbdc8686dfad4bb80d771088446cd6959151691e /git-debpush
parentcec005037f5b62cb17094df53fb25c066d6a9705 (diff)
git-playtree-setup: Provide to git-debpush
Not used yet, so no overall functional change to the script. The .deb has a new file. Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk> Signed-off-by: Sean Whitton <spwhitton@spwhitton.name>
Diffstat (limited to 'git-debpush')
-rwxr-xr-xgit-debpush1
1 files changed, 1 insertions, 0 deletions
diff --git a/git-debpush b/git-debpush
index 1bfb093..ca737d2 100755
--- a/git-debpush
+++ b/git-debpush
@@ -38,6 +38,7 @@ set -o pipefail
# **** Helper functions and variables ****
us="$(basename $0)"
+git_playtree_create=git-playtree-create ###substituted###
cleanup() {
if [ -d "$temp" ]; then