summaryrefslogtreecommitdiffstats
path: root/mlvirtmanager/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'mlvirtmanager/Makefile.in')
-rwxr-xr-xmlvirtmanager/Makefile.in4
1 files changed, 2 insertions, 2 deletions
diff --git a/mlvirtmanager/Makefile.in b/mlvirtmanager/Makefile.in
index b09cc57..b9bf280 100755
--- 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