diff options
-rwxr-xr-x | bin/ptxdist | 4 | ||||
-rw-r--r-- | rules/other/Toplevel.make | 2 |
2 files changed, 3 insertions, 3 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 } diff --git a/rules/other/Toplevel.make b/rules/other/Toplevel.make index 0cc05e5fd..d8c9fc36b 100644 --- a/rules/other/Toplevel.make +++ b/rules/other/Toplevel.make @@ -107,7 +107,7 @@ include $(PTX_DGEN_DEPS_POST) # just the "print" target # ---------------------------------------------------------------------------- -print-%: FORCE +print-% /print-%: FORCE $(if $(filter k,$(MAKEFLAGS)),,$($(if $(filter undefined,$(origin $(*))),$(error $(*) undefined)))) @echo "$(if $(filter 1,$(PTXDIST_VERBOSE)),$(*)=)$($(*))" |