diff options
Diffstat (limited to 'bsp')
-rwxr-xr-x | bsp/update-targets.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bsp/update-targets.sh b/bsp/update-targets.sh index 976a9c4..198cd5a 100755 --- a/bsp/update-targets.sh +++ b/bsp/update-targets.sh @@ -45,9 +45,10 @@ then TARGET_LIST="$(ls -d coreip*) " TARGET_LIST+="sifive-hifive1 sifive-hifive1-revb freedom-e310-arty sifive-hifive-unleashed " else - if [ ! -f "$DTSFILE" -a "$DTSFILE" != "*.dts" ] + file "$DTSFILE" + if [ ! -f "$DTSFILE" ] then - echo "[ERROR] $0: $DTSFILE must be a dts file" >&2 + echo "[ERROR] $0: $DTSFILE must be a file" >&2 help "$0" exit 1 fi |