From fa8c758efec35de77f9146020660ae19b59b28e6 Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Tue, 28 Nov 2017 17:36:07 +0000 Subject: [PATCH] make.sh: Improve formatting of options Signed-off-by: Michael Tremer --- make.sh | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/make.sh b/make.sh index 8ef205668c..d8037a00ac 100755 --- a/make.sh +++ b/make.sh @@ -322,12 +322,7 @@ print_package() { fi printf "%-$(( ${NAME_WIDTH} - 1 ))s " "${string}" - - if [ -n "${options}" ]; then - printf "[ %-$(( ${OPTIONS_WIDTH} - 4 ))s ]" "${options}" - else - printf "%${OPTIONS_WIDTH}s" "" - fi + printf "%$(( ${OPTIONS_WIDTH} - 1 ))s " "${options}" } print_runtime() { -- 2.39.5