chiark / gitweb /
changelog: start 9.13
[dgit.git] / git-playtree-setup
index 5d890a07369d02cd1cdd66bd2983cb10c3d0639a..184de4d69d03cc8a0bb3a05b68999be6601a7687 100755 (executable)
@@ -8,7 +8,7 @@
 #   cd .git/some/play/thing
 #   git-playtree-setup .
 
-set -ex
+set -e${GIT_PLAYTREE_SETUP_DEBUG}
 
 target=$1; shift