diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/ptxdist | 28 |
1 files changed, 18 insertions, 10 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 9e58224c0..1fa5ff0e3 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1842,18 +1842,26 @@ EOF exit ;; print) - check_config && - if [ -z "${1}" ]; then + if [ ${#} -eq 0 ]; then exit 1 - elif [ -n "${!1}" ]; then - echo "${!1}" - else - check_deps - ptxd_make_log "print-${1}" 2>/dev/null || { - echo "${1} undefined" >&2 - exit 1 - } fi + while [ ${#} -gt 0 ]; do + if [ -n "${!1}" ]; then + echo "${!1}" + else + local check + if [ -z "${check}" ]; then + check_config && + check_deps || exit 1 + check=1 + fi + ptxd_make_log "print-${1}" 2>/dev/null || { + echo "${1} undefined" >&2 + exit 1 + } + fi + shift + done exit ;; projects) |