diff options
-rw-r--r-- | Makefile.rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.rules b/Makefile.rules index 6b271757dc..a8af0ef4ed 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -1838,7 +1838,7 @@ printvars:: ### # Debugging -# General debugging rule, use 'make print-XXX' to print the +# General debugging rule, use 'make dbg-print-XXX' to print the # definition, value and origin of XXX. -print-%: +make-print-%: $(error PRINT: $(value $*) = "$($*)" (from $(origin $*))) |