diff --git a/Makefile b/Makefile index 1b1aca9bb1e..96f2b49dd22 100644 --- a/Makefile +++ b/Makefile @@ -47,11 +47,15 @@ build: $(BUILD_DEPS) .PHONY: build clean: - $(MAKE) -C $(BLS_PATH) clean rm -rf $(CLEAN) + -$(MAKE) -C $(BLS_PATH) clean .PHONY: clean dist-clean: git clean -xdff git submodule deinit --all -f .PHONY: dist-clean + + +print-%: + @echo $*=$($*)