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

More debuggable bash settings 

Co-authored-by: Joshua Nelson <joshua@yottadb.com>
This commit is contained in:
Who? Me?! 2020-10-08 15:15:58 -05:00 committed by Joshua Nelson
parent 7369dc03da
commit 26c1c5ddce
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
ci/linkcheck.sh
View File

@ -1,5 +1,8 @@
#!/usr/bin/env bash #!/usr/bin/env bash
set -ev
set -o pipefail
# https://docs.travis-ci.com/user/environment-variables/#default-environment-variables # https://docs.travis-ci.com/user/environment-variables/#default-environment-variables
if [ "$TRAVIS_EVENT_TYPE" = "cron" ] ; then # running in cron job if [ "$TRAVIS_EVENT_TYPE" = "cron" ] ; then # running in cron job
FLAGS="" FLAGS=""