From d11dea248813aa554f9d46ac9cb62d238ce168ae Mon Sep 17 00:00:00 2001 From: Artem Pianykh Date: Thu, 19 Mar 2020 04:57:48 -0700 Subject: [PATCH] [build] Add `manuals` make target Summary: Manuals were previously built as part of `make test`, but `test` takes too long so `make manuals` is a convenient replacement. Reviewed By: ngorogiannis Differential Revision: D20517145 fbshipit-source-id: 404c9921f --- Makefile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 0f88ac029..252002861 100644 --- a/Makefile +++ b/Makefile @@ -329,6 +329,10 @@ $(INFER_GROFF_MANUALS_GZIPPED): %.gz: % $(QUIET)$(REMOVE) $@ gzip $< +manuals: + $(QUIET)$(call silent_on_success,Building Infer manuals,\ + $(MAKE) $(INFER_MANUALS)) + infer_models: src_build ifeq ($(BUILD_JAVA_ANALYZERS),yes) $(QUIET)$(call silent_on_success,Building infer annotations,\ @@ -581,8 +585,7 @@ mod_dep: src_build_common .PHONY: config_tests config_tests: test_build ocaml_unit_test validate-skel mod_dep $(MAKE) endtoend_test checkCopyright - $(QUIET)$(call silent_on_success,Building Infer manuals,\ - $(MAKE) $(INFER_MANUALS)) + $(MAKE) manuals ifneq ($(filter endtoend_test,${MAKECMDGOALS}),) checkCopyright: src_build