diff options
Diffstat (limited to 'bin/ptxdist')
| -rwxr-xr-x | bin/ptxdist | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 5ca21325c..59a39ef56 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -2028,7 +2028,7 @@ EOF exit 1 fi while [ ${#} -gt 0 ]; do - if [ -n "${!1}" ]; then + if [[ ! ( "${1}" =~ "/" ) ]] && [ -n "${!1}" ]; then if [ "${PTXDIST_VERBOSE}" = "1" ]; then echo -n "${1}=" fi @@ -2040,7 +2040,7 @@ EOF check_deps || exit 1 check=1 fi - ptxd_make_log "print-${1}" 2>/dev/null || { + ptxd_make_log "/print-${1}" 2>/dev/null || { echo "${1} undefined" >&2 exit 1 } |