diff --git a/Makefile b/Makefile index 713de3dc3fa1cc245972b709900e844284832228..e77d4e602400edda4664970ba7bab382e139bcf9 100644 --- a/Makefile +++ b/Makefile @@ -237,6 +237,12 @@ clean: $(call trace,RM,binaries,rm -f $(BINS) $(TEST_BINS)) $(call trace,RM,objects,rm -rf .obj) +# +# Debugging +# +print-%: + @echo '$*=$($*)' + ################################################################## # Targets #