diff options
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Makefile.common b/Makefile.common index f4731d278..63834dcb0 100644 --- a/Makefile.common +++ b/Makefile.common @@ -31,12 +31,8 @@ CAMLP4MOD:=gramlib endif ifeq ($(HASNATDYNLINK)-$(BEST),true-opt) - DYNLINKCMXA:=dynlink.cmxa - NATDYNLINKDEF:=-DHasDynlink DEPNATDYN:= else - DYNLINKCMXA:= - NATDYNLINKDEF:= DEPNATDYN:=-natdynlink no endif |