diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/fixup-dts | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/fixup-dts b/scripts/fixup-dts index 7192aea..bb73115 100755 --- a/scripts/fixup-dts +++ b/scripts/fixup-dts @@ -38,10 +38,10 @@ if [ `grep -c 'riscv,pmp' ${dts}` -eq 0 ]; then # Check for targets without PMP support TARGET=`echo ${dts} | cut -d '/' -f 1` - if [ $TARGET != "freedom-e310-arty" -a \ - $TARGET != "sifive-hifive1" -a \ - $TARGET != "coreip-e20-rtl" -a \ - $TARGET != "coreip-e20-arty" ]; then + if [ "$TARGET" != "freedom-e310-arty" -a \ + "$TARGET" != "sifive-hifive1" -a \ + "$TARGET" != "coreip-e20-rtl" -a \ + "$TARGET" != "coreip-e20-arty" ]; then ${SED} -i '/riscv,isa/a riscv,pmpregions = <1>;' ${dts} |