diff options
author | Gordon Henriksen <gordonhenriksen@mac.com> | 2007-09-18 12:26:17 +0000 |
---|---|---|
committer | Gordon Henriksen <gordonhenriksen@mac.com> | 2007-09-18 12:26:17 +0000 |
commit | 0908d49c22775d20a88f595845b515f669d528f7 (patch) | |
tree | d4c0b5f773acca79d1fcde395c22e27652883875 /Makefile.config.in | |
parent | b5085212b0a419f205c3b3ea4d569331af6368c6 (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.in | 2 |
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@ |