Also check if bin directory exists

This commit is contained in:
Florian Zaruba 2018-02-05 19:29:52 +01:00
parent 35a98a6492
commit 90ab062f9d
No known key found for this signature in database
GPG key ID: E742FFE8EC38A792

View file

@ -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