summaryrefslogtreecommitdiff
path: root/Makefile.config.in
diff options
context:
space:
mode:
authorGordon Henriksen <gordonhenriksen@mac.com>2007-09-18 12:26:17 +0000
committerGordon Henriksen <gordonhenriksen@mac.com>2007-09-18 12:26:17 +0000
commit0908d49c22775d20a88f595845b515f669d528f7 (patch)
treed4c0b5f773acca79d1fcde395c22e27652883875 /Makefile.config.in
parentb5085212b0a419f205c3b3ea4d569331af6368c6 (diff)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42090 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Makefile.config.in')
-rw-r--r--Makefile.config.in2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in
index 4ab98bc1ec4..a550eaea553 100644
--- a/Makefile.config.in
+++ b/Makefile.config.in
@@ -156,6 +156,8 @@ ETAGS := @ETAGS@
ETAGSFLAGS := @ETAGSFLAGS@
GROFF := @GROFF@
GZIP := @GZIP@
+OCAMLC := @OCAMLC@
+OCAMLOPT := @OCAMLOPT@
POD2HTML := @POD2HTML@
POD2MAN := @POD2MAN@
RUNTEST := @RUNTEST@