diff options
| -rwxr-xr-x | resources/scripts/download/coreboot | 17 |
1 files changed, 6 insertions, 11 deletions
diff --git a/resources/scripts/download/coreboot b/resources/scripts/download/coreboot index e0c55c9c..d8b44ab3 100755 --- a/resources/scripts/download/coreboot +++ b/resources/scripts/download/coreboot @@ -84,26 +84,21 @@ download_coreboot_for_board() if [ -d "coreboot/${cbtree}" ]; then printf "REMARK: download/coreboot %s: exists. Skipping.\n" \ ${cbtree} - if [ "${cbtree}" != "${1}" ]; then - printf "(for board: '${1}')\n" - fi + [ "${cbtree}" != "${1}" ] && \ + printf "(for board: '%s}')\n" ${1} return 0 fi - if [ ! -d coreboot ]; then + [ ! -d coreboot ] && \ mkdir "coreboot/" - fi - if [ ! -d coreboot ]; then - printf "ERROR: download/coreboot: directory not created." - printf " Check file system permissions\n" + [ ! -d coreboot ] && \ + printf "ERROR: download/coreboot: directory not created\n" && \ return 1 - fi cd "coreboot/" - if [ ! -d coreboot/.git ] && [ -d coreboot ]; then + [ ! -d coreboot/.git ] && [ -d coreboot ] && \ rm -Rf coreboot/ - fi if [ ! -d coreboot ]; then printf "Download coreboot from upstream:\n" |