chiark
/
gitweb
/
~ianmdlvl
/
dgit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
git-playtree-setup: Rename from git-playtree-create
[dgit.git]
/
git-debpush
diff --git
a/git-debpush
b/git-debpush
index ca737d20a97fd341dff16a10d46329b62e60dfac..5b99e72abaad4e4880ba613c796554420513aad3 100755
(executable)
--- a/
git-debpush
+++ b/
git-debpush
@@
-38,7
+38,8
@@
set -o pipefail
# **** Helper functions and variables ****
us="$(basename $0)"
# **** Helper functions and variables ****
us="$(basename $0)"
-git_playtree_create=git-playtree-create ###substituted###
+git_playtree_setup=git-playtree-setup ###substituted###
+git_playtree_setup=${DEBPUSH_GIT_PLAYTREE_SETUP-$git_playtree_setup}
cleanup() {
if [ -d "$temp" ]; then
cleanup() {
if [ -d "$temp" ]; then