mirror of
https://github.com/chronotope/chrono.git
synced 2025-09-28 21:42:01 +00:00
Make CI able to run non-cargo commands in channel
This commit is contained in:
parent
5e1e2d5633
commit
e8c708d81b
22
ci/travis.sh
22
ci/travis.sh
@ -8,19 +8,33 @@ set -e
|
||||
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
||||
|
||||
channel() {
|
||||
channel_run cargo "$@"
|
||||
}
|
||||
|
||||
channel_run() {
|
||||
if [ -n "${TRAVIS}" ]; then
|
||||
if [ "${TRAVIS_RUST_VERSION}" = "${CHANNEL}" ]; then
|
||||
pwd
|
||||
(set -x; cargo "$@")
|
||||
echo "$ $*"
|
||||
"$@"
|
||||
fi
|
||||
elif [ -n "${APPVEYOR}" ]; then
|
||||
if [ "${APPVEYOR_RUST_CHANNEL}" = "${CHANNEL}" ]; then
|
||||
pwd
|
||||
(set -x; cargo "$@")
|
||||
echo "$ $*"
|
||||
"$@"
|
||||
fi
|
||||
else
|
||||
pwd
|
||||
(set -x; cargo "+${CHANNEL}" "$@")
|
||||
local cmd="$1"
|
||||
shift
|
||||
if [[ $cmd = cargo ]] ; then
|
||||
echo "$ $cmd +${CHANNEL} $*"
|
||||
"$cmd" "+${CHANNEL}" "$@"
|
||||
else
|
||||
echo "$ $cmd $*"
|
||||
"$cmd" "$@"
|
||||
fi
|
||||
fi
|
||||
}
|
||||
|
||||
@ -86,7 +100,7 @@ build_only() {
|
||||
}
|
||||
|
||||
build_core_test() {
|
||||
rustup target add thumbv6m-none-eabi --toolchain $CHANNEL
|
||||
channel_run rustup target add thumbv6m-none-eabi --toolchain "$CHANNEL"
|
||||
(
|
||||
cd ci/core-test
|
||||
channel build -v --target thumbv6m-none-eabi
|
||||
|
Loading…
x
Reference in New Issue
Block a user