diff --git a/Makefile b/Makefile index 677a54b0820929fc1e686078a2197cf6fccd6174..f799390464dc133f1631db959e8ee7ad5349077d 100644 --- a/Makefile +++ b/Makefile @@ -1045,6 +1045,9 @@ endif include $(SRC_PATH)/tests/docker/Makefile.include include $(SRC_PATH)/tests/vm/Makefile.include +printgen: + @echo $(GENERATED_FILES) + .PHONY: help help: @echo 'Generic targets:'