summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIngy döt Net <ingy@ingy.net>2020-05-25 17:34:22 -0700
committerIngy döt Net <ingy@ingy.net>2020-05-25 17:35:20 -0700
commitcc9cb7b587cc152c7510c0f69b575330e4e4ff39 (patch)
tree62f1e5fb23bec2e6a7f7f4281846cf9e7388a90c
parent2b688f41239b68e3f17e71c80a436e58dfdd5ae8 (diff)
downloadlibyaml-git-run-test-suite.tar.gz
More bin/pin debug messagesrun-test-suite
-rwxr-xr-xbin/pin3
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/pin b/bin/pin
index 7393be1..1632132 100755
--- a/bin/pin
+++ b/bin/pin
@@ -23,10 +23,11 @@ tac |
debug "cd ../..; git merge-base --is-ancestor $commit_master HEAD"
if (cd ../..; git merge-base --is-ancestor "$commit_master" HEAD 2>/dev/null); then
+ debug "Found pinning: '$line'"
echo "$line"
exit
else
- debug "Not found"
+ debug "No pinning found"
fi
done