diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-25 12:53:28 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-25 13:00:19 +0100 |
commit | d4a4e683f887a2bfb2f5271ed96ae0c623f8b1af (patch) | |
tree | c1b030b80419b714b6d1b1b541d90e32fff56540 | |
parent | 178322026ec058541d791c507ae59307a2fab08d (diff) |
git-playtree-create: Drop an unwanted set -x
Closes: #932959
Reported-by: Sean Whitton <spwhitton@spwhitton.name>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rwxr-xr-x | git-playtree-setup | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-playtree-setup b/git-playtree-setup index 5d890a0..184de4d 100755 --- a/git-playtree-setup +++ b/git-playtree-setup @@ -8,7 +8,7 @@ # cd .git/some/play/thing # git-playtree-setup . -set -ex +set -e${GIT_PLAYTREE_SETUP_DEBUG} target=$1; shift |