diff options
| -rwxr-xr-x | bin/ptxdist | 3 | ||||
| -rw-r--r-- | rules/other/Toplevel.make | 3 |
2 files changed, 5 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index a878fb6ff..8af0ac839 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1971,6 +1971,9 @@ EOF fi while [ ${#} -gt 0 ]; do if [ -n "${!1}" ]; then + if [ "${PTXDIST_VERBOSE}" = "1" ]; then + echo -n "${1}=" + fi echo "${!1}" else local check diff --git a/rules/other/Toplevel.make b/rules/other/Toplevel.make index 19793fa8d..642a2bfa0 100644 --- a/rules/other/Toplevel.make +++ b/rules/other/Toplevel.make @@ -108,7 +108,8 @@ include $(PTX_DGEN_DEPS_POST) # ---------------------------------------------------------------------------- print-%: FORCE - @[ "$(origin $(*))" != "undefined" ] && echo "$($(*))" + $(if $(filter k,$(MAKEFLAGS)),,$($(if $(filter undefined,$(origin $(*))),$(error $(*) undefined)))) + @echo "$(if $(filter 1,$(PTXDIST_VERBOSE)),$(*)=)$($(*))" .PHONY: $(PHONY) |