diff options
author | bors <bors@rust-lang.org> | 2019-09-22 10:01:03 +0000 |
---|---|---|
committer | bors <bors@rust-lang.org> | 2019-09-22 10:01:03 +0000 |
commit | 3a9e5d05a60c8338e7fe13299417d680ae4ecd03 (patch) | |
tree | 2973ec3a06034512e1db3aa2d077ee76d2a4650f | |
parent | 74c4b1508a187801ec9185c57150d17d77897b9c (diff) | |
parent | c6c664525ad6124df5a8cfd5b9df24f551795efc (diff) | |
download | rust-libc-3a9e5d05a60c8338e7fe13299417d680ae4ecd03.tar.gz |
Auto merge of #1527 - Wind-River:filter, r=gnzlbg
Add environment variable FILTER to choose which target(s) to run
-rw-r--r-- | ci/build.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/ci/build.sh b/ci/build.sh index 3ce10deb32..64ff06d7a9 100644 --- a/ci/build.sh +++ b/ci/build.sh @@ -2,6 +2,8 @@ # Checks that libc builds properly for all supported targets on a particular # Rust version: +# The FILTER environment variable can be used to select which target(s) to build. +# For example: set FILTER to vxworks to select the targets that has vxworks in name set -ex @@ -176,7 +178,9 @@ case "${OS}" in esac for TARGET in $TARGETS; do - test_target build "$TARGET" + if echo "$TARGET"|grep -q "$FILTER";then + test_target build "$TARGET" + fi done # FIXME: https://github.com/rust-lang/rust/issues/58564 @@ -237,7 +241,9 @@ powerpc64-wrs-vxworks \ if [ "${RUST}" = "nightly" ] && [ "${OS}" = "linux" ]; then for TARGET in $RUST_LINUX_NO_CORE_TARGETS; do - test_target xbuild "$TARGET" 1 + if echo "$TARGET"|grep -q "$FILTER";then + test_target xbuild "$TARGET" 1 + fi done # Nintendo switch |