pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

[Makefile.config] Remove unused ENABLE_OCAML_ANNOT

Browse Source 
Reviewed By: jvillard

Differential Revision: D4334050

fbshipit-source-id: 54e3e9d
master
Andrzej Kotulski 8 years ago committed by Facebook Github Bot
parent bcac924e7f
commit 35be73e560
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File

1
Makefile.config.in
Unescape View File

@ -25,7 +25,6 @@ CPP = @CPP@
CXX = @CXX@ CXX = @CXX@
CXXFLAGS = @CXXFLAGS@ CXXFLAGS = @CXXFLAGS@
ENABLE_OCAMLOPT_CUSTOM_CC = @ENABLE_OCAMLOPT_CUSTOM_CC@ ENABLE_OCAMLOPT_CUSTOM_CC = @ENABLE_OCAMLOPT_CUSTOM_CC@
ENABLE_OCAML_ANNOT = @ENABLE_OCAML_ANNOT@
ENABLE_OCAML_BINANNOT = @ENABLE_OCAML_BINANNOT@ ENABLE_OCAML_BINANNOT = @ENABLE_OCAML_BINANNOT@
exec_prefix = @exec_prefix@ exec_prefix = @exec_prefix@
INFER_MAJOR = @INFER_MAJOR@ INFER_MAJOR = @INFER_MAJOR@

Write Preview
Loading…
Cancel
Save