diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile.common b/Makefile.common index d38c6475d0..a64399cd87 100644 --- a/Makefile.common +++ b/Makefile.common @@ -206,8 +206,6 @@ else PLUGINSOPT:= endif -INITPLUGINSBEST:=$(if $(OPT),$(INITPLUGINSOPT),$(INITPLUGINS)) - LINKCMO:=$(CORECMA) $(STATICPLUGINS) LINKCMX:=$(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cma=.cmxa) |