Files
xrpl-dev-portal/tool/jenkins.sh
2018-03-07 16:11:45 -08:00

24 lines
663 B
Bash
Executable File

#!/bin/bash
# meant to be run from the root directory of the repo
## Test: show pull request data in build results
echo "ghprbAuthorRepoGitUrl is: " ${ghprbAuthorRepoGitUrl}
echo "ghprbSourceBranch is: " ${ghprbSourceBranch}
echo "ghprbPullId is: " ${ghprbPullId}
gitForkWithoutSuffix=${ghprbAuthorRepoGitUrl%.git}
if [ -n "$ghprbPullId" ];
then
echo '{"github_forkurl": "'"$gitForkWithoutSuffix"'", "github_branch": "'"$ghprbSourceBranch"'", "github_pr_id": "'"$ghprbPullId"'", "is_pr_build": true}' > pr_vars.json
dactyl_vars="pr_vars.json"
else
dactyl_vars=""
fi
set -e
tool/conflictmarkers.sh
tool/all-target-link-checker.sh --vars "$dactyl_vars"