diff options
Diffstat (limited to 'dev/run-tests-jenkins')
-rwxr-xr-x | dev/run-tests-jenkins | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev/run-tests-jenkins b/dev/run-tests-jenkins index f6372835a6..3c1c91a111 100755 --- a/dev/run-tests-jenkins +++ b/dev/run-tests-jenkins @@ -161,6 +161,10 @@ pr_message="" # Ensure we save off the current HEAD to revert to current_pr_head="`git rev-parse HEAD`" +echo "HEAD: `git rev-parse HEAD`" +echo "GHPRB: $ghprbActualCommit" +echo "SHA1: $sha1" + # Run pull request tests for t in "${PR_TESTS[@]}"; do this_test="${FWDIR}/dev/tests/${t}.sh" |