mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

add assert

This commit is contained in:
mark 2020-10-08 15:54:29 -05:00 committed by Joshua Nelson
parent 26c1c5ddce
commit b2ba3d1c14
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ci/linkcheck.sh
View File

@ -9,6 +9,11 @@ if [ "$TRAVIS_EVENT_TYPE" = "cron" ] ; then # running in cron job
echo "Doing full link check." echo "Doing full link check."
elif [ "$CI" = "true" ] ; then # running in PR CI build elif [ "$CI" = "true" ] ; then # running in PR CI build
if [ -n "$TRAVIS_COMMIT_RANGE" ]; then
echo "error: unexpected state: COMMIT_RANGE must be non-empty in CI"
exit 1
fi
CHANGED_FILES=$(git diff --name-only $TRAVIS_COMMIT_RANGE | tr '\n' ' ') CHANGED_FILES=$(git diff --name-only $TRAVIS_COMMIT_RANGE | tr '\n' ' ')
FLAGS="-f $CHANGED_FILES" FLAGS="-f $CHANGED_FILES"