[Mldonkey-commits] Changes to mldonkey/config/Makefile.in

[mldonkey-commits]

Index: mldonkey/config/Makefile.in
diff -u mldonkey/config/Makefile.in:1.119 mldonkey/config/Makefile.in:1.120
--- mldonkey/config/Makefile.in:1.119   Tue Oct 18 09:01:21 2005
+++ mldonkey/config/Makefile.in Tue Oct 18 20:19:12 2005
@@ -1580,7 +1580,7 @@
 TMPSOURCES += $(TOP_ML4:.ml4=.ml) $(TOP_MLL:.mll=.ml) $(TOP_MLY:.mly=.ml) 
$(TOP_MLY:.mly=.mli) $(TOP_ZOG:.zog=.ml) 
 
 mldonkeytop: $(TOP_OBJS) $(TOP_CMOS) $(TOP_CMAS)
-       $(OCAMLMKTOP) -linkall $(PLUGIN_FLAG) -o $@  $(TOP_OBJS) $(LIBS_byte) 
$(LIBS_flags) $(_LIBS_byte) $(_LIBS_flags) -I build $(TOP_CMAS) $(TOP_CMOS) 
+       $(OCAMLMKTOP) -cc $(CXX) -linkall $(PLUGIN_FLAG) -o $@  $(TOP_OBJS) 
$(LIBS_byte) $(LIBS_flags) $(_LIBS_byte) $(_LIBS_flags) -I build $(TOP_CMAS) 
$(TOP_CMOS)