GitHub-Proxy/Slic3r
1
0
Fork 0
mirror of https://git.mirrors.martin98.com/https://github.com/slic3r/Slic3r.git synced 2025-07-30 21:22:01 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

fixed this time?

Browse Source
This commit is contained in:
Joseph Lenox 2017-04-02 10:12:03 -05:00
parent 25dce5a198
commit 4304c2a1f4
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
package/common/util.sh
View File

@ -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 ()