Pass $(CC) flag set by configure to ocamlopt -cc

Reviewed By: jvillard Differential Revision: D3974249 fbshipit-source-id: 5fbd994
8 years ago · 9a864dcd6e
parent af4f65a871
commit 9a864dcd6e
2 changed files with 3 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 33f4a5b5c4b213998e5c19af48728a3a695884ae
+Subproject commit dbd3bc79d72a49a758a6c3336172ae4f02f61346
--- 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 \
		`@ -1 +1 @@`
			`Subproject commit 33f4a5b5c4b213998e5c19af48728a3a695884ae`				`Subproject commit dbd3bc79d72a49a758a6c3336172ae4f02f61346`