diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index d3818f78f5..b560bae5a0 100644 --- a/Makefile.common +++ b/Makefile.common @@ -40,7 +40,7 @@ else CAMLP4MOD:=gramlib endif -ifneq ($(HASNATDYNLINK),false) +ifeq ($(HASNATDYNLINK)-$(BEST),true-opt) DYNLINKCMXA:=dynlink.cmxa NATDYNLINKDEF:=-DHasDynlink DEPNATDYN:= |