diff options
Diffstat (limited to 'rules/other/Toplevel.make')
-rw-r--r-- | rules/other/Toplevel.make | 3 |
1 files changed, 2 insertions, 1 deletions
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) |