diff --git a/ci/run.sh b/ci/run.sh index 0bc1281..50413cf 100755 --- a/ci/run.sh +++ b/ci/run.sh @@ -1,5 +1,8 @@ set -ex +# FIXME(japarix/xargo#186) this shouldn't be necessary +export RUST_TARGET_PATH=`pwd` + case $1 in thumb*) cargo=xargo