diff options
Diffstat (limited to 'bsp')
| -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 8f094e5..13cd32b 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 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" |