2021-05-25 14:55:16 +02:00
|
|
|
##
|
|
|
|
# DEBUG
|
|
|
|
|
2021-06-02 00:54:33 +02:00
|
|
|
# target debug: Print more informations
|
2021-05-25 14:55:16 +02:00
|
|
|
.PHONY: debug
|
|
|
|
debug:
|
2021-06-13 02:09:57 +02:00
|
|
|
$(MAKE) doc help profile DEBUG=true
|
2021-05-25 14:55:16 +02:00
|
|
|
|
2021-06-02 00:54:33 +02:00
|
|
|
# target debug-%: Print value of %
|
2021-05-25 14:55:16 +02:00
|
|
|
.PHONY: debug-%
|
2021-07-12 21:04:06 +02:00
|
|
|
debug-%: $(if $(DEBUG),context-%) ;
|
2021-06-13 02:09:57 +02:00
|
|
|
|
|
|
|
# target profile: Print timing informations
|
|
|
|
.PHONY: profile
|
|
|
|
profile: context-ELAPSED_TIME
|
|
|
|
|