X-Git-Url: http://git.annexia.org/?p=virt-top.git;a=blobdiff_plain;f=mlvirtmanager%2FMakefile.in;h=b9bf280f9e8403276041b35e5fbd2b750a175d6a;hp=b09cc57ea4f3cb11668f3c7f097d23fd973145fa;hb=40cca545e1e010e8ee1a4ed4e9636b7c0119d5a2;hpb=643aa9f6fea233073384cdb01e8b23c693bf50e6 diff --git a/mlvirtmanager/Makefile.in b/mlvirtmanager/Makefile.in old mode 100755 new mode 100644 index b09cc57..b9bf280 --- a/mlvirtmanager/Makefile.in +++ b/mlvirtmanager/Makefile.in @@ -73,8 +73,8 @@ mlvirtmanager: $(VIRTMANAGER_OBJS) ../libvirt/mllibvirt.cma gtkInit.cmo -o $@ $^ mlvirtmanager.opt: $(VIRTMANAGER_XOBJS) - $(OCAMLOPT) \ - $(OCAMLOPTINCS) $(OCAMLOPTFLAGS) $(OCAMLOPTLIBS) \ + $(OCAMLOPT) -verbose $(OCAMLOPTINCS) $(OCAMLOPTFLAGS) $(OCAMLOPTLIBS) \ + -cclib "$(LDFLAGS)" \ ../libvirt/mllibvirt.cmxa gtkInit.cmx -o $@ $^ endif