diff options
| author | Bunnaroath Sou <35707615+bsousi5@users.noreply.github.com> | 2019-03-06 12:21:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-06 12:21:03 -0800 |
| commit | c71689996d85011f3d493b8cbe75e1379bdbc932 (patch) | |
| tree | e098bff2a7c45b7860173fb65c3488d8eb7f29c6 /bsp/update-targets.sh | |
| parent | f7601b8a833502a34047af50ebb200d543e81da7 (diff) | |
| parent | f7a18d3711b3bb04b7ed8294a0e47599ac15cf45 (diff) | |
Merge pull request #192 from sifive/arty-19.2
Update/add E20, E21, E24 arty targets for all 19.2 CoreIPs release
Diffstat (limited to 'bsp/update-targets.sh')
| -rwxr-xr-x | bsp/update-targets.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/bsp/update-targets.sh b/bsp/update-targets.sh index 3d7296f..8657883 100755 --- a/bsp/update-targets.sh +++ b/bsp/update-targets.sh @@ -13,7 +13,7 @@ EOF unset DTSFILE unset CUSTOM_PATH unset CUSTOM_NAME -while [[ "$1" != "" ]] +while [ "$1" != "" ] do case "$1" in --help) help "$0"; exit 0;; @@ -26,25 +26,25 @@ do esac done -if [[ "$CUSTOM_PATH" == "" && "$CUSTOM_NAME" == "" && "$DTSFILE" == "" ]] +if [ "$CUSTOM_PATH" == "" -a "$CUSTOM_NAME" == "" -a "$DTSFILE" == "" ] then TARGET_LIST="$(ls -d coreip*) " TARGET_LIST+="sifive-hifive1 sifive-hifive1-revb freedom-e310-arty " else - if [[ ! -f "$DTSFILE" && "$DTSFILE" != "*.dts" ]] + if [ ! -f "$DTSFILE" -a "$DTSFILE" != "*.dts" ] then echo "[ERROR] $0: $DTSFILE must be a dts file" >&2 help "$0" exit 1 fi - if [[ "$CUSTOM_NAME" == "" ]] + if [ "$CUSTOM_NAME" == "" ] then echo "[ERROR] $0: --target-name is mandatory" >&2 help "$0" exit 1 fi CUSTOM_TARGET="$CUSTOM_PATH/bsp/$CUSTOM_NAME" - if [[ ! -d "$CUSTOM_TARGET" ]] + if [ ! -d "$CUSTOM_TARGET" ] then echo "[ERROR] $0: "$CUSTOM_TARGET" not found!" >&2 help "$0" |