diff options
Diffstat (limited to 'Makefile.build_config.in')
-rw-r--r-- | Makefile.build_config.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.build_config.in b/Makefile.build_config.in index fa6b2b71e3..49a3f14c0c 100644 --- a/Makefile.build_config.in +++ b/Makefile.build_config.in @@ -27,3 +27,7 @@ INSTALL_PROG ?= @INSTALL_PROGRAM@ # The command to generate C dependency information DEP_CC=@DEP_CC@ -MM COMPUTE_DEPS=@compute_deps@ + +# This is munged into utils/config.ml, not overridable by other parts of +# the build system. +OC_DLL_LDFLAGS=@oc_dll_ldflags@ |