diff --git a/facebook-clang-plugins b/facebook-clang-plugins index 33f4a5b5c..dbd3bc79d 160000 --- a/facebook-clang-plugins +++ b/facebook-clang-plugins @@ -1 +1 @@ -Subproject commit 33f4a5b5c4b213998e5c19af48728a3a695884ae +Subproject commit dbd3bc79d72a49a758a6c3336172ae4f02f61346 diff --git a/infer/src/Makefile b/infer/src/Makefile index adf2e2cb6..c0309e8ec 100644 --- a/infer/src/Makefile +++ b/infer/src/Makefile @@ -23,6 +23,8 @@ OCAML_FATAL_WARNINGS = +5+6+8+10+11+12+18+19+20+23+26+29+27+32+33+34+35+37+38+39 OCAMLBUILD_OPTIONS = \ -r \ + -lflags -cc,$(CC) \ + -cflags -cc,$(CC) \ -cflags -g -lflags -g \ -cflags -short-paths \ -cflags -safe-string \