diff --git a/ci/build-riscv-gcc.sh b/ci/build-riscv-gcc.sh index 185380b14..075c2b532 100755 --- a/ci/build-riscv-gcc.sh +++ b/ci/build-riscv-gcc.sh @@ -3,7 +3,7 @@ set -e ROOT=$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd) cd $ROOT/tmp -if ! [ -e $RISCV ]; then +if ! [ -e $RISCV/bin ]; then [ -d $ROOT/tmp/riscv-gnu-toolchain ] || git clone https://github.com/riscv/riscv-gnu-toolchain.git cd riscv-gnu-toolchain git checkout 691e4e826251c7ec59f883cab18440c87baf45e7