From dad8b73f4828594773e9668a7bb0fa9ad0ed9014 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 29 Mar 2018 07:52:31 -0700
Subject: [PATCH] [make] run jbuilder when files in infer/src/ change

Summary:
Without it `make` will not rebuild infer when "infer/src/infer.ml" changes
(since D7381842 moved it out of backend/).

Reviewed By: mbouaziz

Differential Revision: D7443275

fbshipit-source-id: 33ea10b
---
 infer/src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/Makefile b/infer/src/Makefile
index 894323f3b..f043919a9 100644
--- a/infer/src/Makefile
+++ b/infer/src/Makefile
@@ -87,7 +87,7 @@ OCAML_GENERATED_SOURCES += $(CLANG_ATDGEN_STUBS) $(CLANG_PLUGIN_MIRRORED_FILES)
 endif
 
 OCAML_SOURCES = \
-  $(wildcard */[a-zA-Z]*.ml */[a-zA-Z]*.ml[ily]) \
+  $(wildcard */[a-zA-Z]*.ml */[a-zA-Z]*.ml[ily] *.ml *.ml[ily]) \
   $(OCAML_GENERATED_SOURCES)
 
 .PHONY: all