From d6ab087a4a315f89141a181c2c4dc087683c7c7a Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Fri, 11 Aug 2017 12:53:40 -0700 Subject: [PATCH] [make] ignore files in _build for mod_dep Summary: Picking up source files in _build is bad, don't do it. Reviewed By: sblackshear Differential Revision: D5613623 fbshipit-source-id: efed79b --- infer/src/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/Makefile b/infer/src/Makefile index 3224a0a94..a30119b1d 100644 --- a/infer/src/Makefile +++ b/infer/src/Makefile @@ -183,7 +183,7 @@ roots += $(INFER_CREATE_TRACEVIEW_LINKS_MODULE) endif clusters:=base clang java IR -ml_src_files:=$(shell find . -regex '.*\.ml\(i\)*') +ml_src_files:=$(shell find . -regex '\./[a-zA-Z].*\.ml\(i\)*') inc_flags:=$(foreach dir,$(shell find . -type d),-I $(dir)) root_flags:=$(foreach root,$(roots),-r $(root)) cluster_flags:=$(foreach cluster,$(clusters),-c $(cluster))