mirror of
https://github.com/XRPLF/xrpl-dev-portal.git
synced 2025-11-22 20:55:50 +00:00
10abd4b1cd
- Unicode header IDs filter - Change some links to use the new ID formula (It matches the GitHub-Flavored Markdown standard closely.) - Build script changes
27 lines
712 B
Bash
Executable File
27 lines
712 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
|
|
|
|
## Build all languages, then run the link checker once
|
|
tool/build_all_langs.sh
|
|
dactyl_link_checker -q
|