From 4304c2a1f456a240b23e5e4f59b683b0f12b470b Mon Sep 17 00:00:00 2001 From: Joseph Lenox Date: Sun, 2 Apr 2017 10:12:03 -0500 Subject: [PATCH] fixed this time? --- package/common/util.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/package/common/util.sh b/package/common/util.sh index 3a30c74e9..5efeacac5 100644 --- a/package/common/util.sh +++ b/package/common/util.sh @@ -75,9 +75,14 @@ function set_pr_id () if [ ! -z ${APPVEYOR_PULL_REQUEST_NUMBER+x} ]; then PR_ID=$APPVEYOR_PULL_REQUEST_NUMBER fi - if [ ! -z ${TRAVIS_PULL_REQUEST_BRANCH+x} ] && [ "${TRAVIS_PULL_REQUEST_BRANCH}" != "false" ] ; then + if [ ! -z ${TRAVIS_PULL_REQUEST_BRANCH+x} ] && [ "${TRAVIS_PULL_REQUEST}" != "false" ] ; then PR_ID=$TRAVIS_PULL_REQUEST fi + if [ ! -z ${PR_ID+x} ]; then + echo "Setting PR_ID to $PR_ID." + else + echo "PR_ID remains unset." + fi } function install_par ()