From 5d3a15fd9c890d8042dff857428eaaac87e94719 Mon Sep 17 00:00:00 2001 From: Andrzej Kotulski Date: Wed, 24 Aug 2016 03:27:11 -0700 Subject: [PATCH] Fix roots with new names for InferPrint and InferAnalyze Summary: With reason conversion, filenames changed and module names changed as well. Change makefile values to newest module names Reviewed By: sblackshear Differential Revision: D3758743 fbshipit-source-id: d8f074c --- infer/src/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/Makefile b/infer/src/Makefile index d954f9de2..1eb864c28 100644 --- a/infer/src/Makefile +++ b/infer/src/Makefile @@ -236,7 +236,7 @@ test_build: init $(STACKTREE_ATDGEN_STUBS) $(INFERPRINT_ATDGEN_STUBS) $(CLANG_AT $(DEPENDENCIES_DIR)/ocamldot/ocamldot: $(MAKE) -C $(DEPENDENCIES_DIR)/ocamldot -roots:=Infer Inferanalyze CMain JMain Inferprint +roots:=Infer InferAnalyze CMain JMain InferPrint src_dirs:=$(shell find * -type d) ml_src_files:=$(shell find $(src_dirs) -regex '.*\.ml\(i\)*' -not -path facebook/scripts/eradicate_stats.ml) re_src_files:=$(shell find $(src_dirs) -regex '.*\.re\(i\)*')