From: Stefano Zacchiroli Date: Tue, 16 Dec 2003 17:10:48 +0000 (+0000) Subject: removed useless "-package netclient" from one of the examples X-Git-Tag: V_0_5_1_3~76 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=35f37db99fe63041c06cd98984de9a7ca0f9b388;p=helm.git removed useless "-package netclient" from one of the examples --- diff --git a/helm/DEVEL/ocaml-http/examples/Makefile b/helm/DEVEL/ocaml-http/examples/Makefile index 7267301eb..674f8f9eb 100644 --- a/helm/DEVEL/ocaml-http/examples/Makefile +++ b/helm/DEVEL/ocaml-http/examples/Makefile @@ -22,9 +22,9 @@ threads.opt: threads.ml $(OBJS_MT_OPT) $(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_MT_OPT) $(THREADS_FLAGS) -o $@ $< damned_recursion: damned_recursion.ml $(OBJS_MT) - $(OCAMLC) $(EXAMPLES_FLAGS) $(OBJS_MT) $(THREADS_FLAGS) -package netclient -o $@ $< + $(OCAMLC) $(EXAMPLES_FLAGS) $(OBJS_MT) $(THREADS_FLAGS) -o $@ $< damned_recursion.opt: damned_recursion.ml $(OBJS_MT_OPT) - $(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_MT_OPT) $(THREADS_FLAGS) -package netclient -o $@ $< + $(OCAMLOPT) $(EXAMPLES_FLAGS) $(OBJS_MT_OPT) $(THREADS_FLAGS) -o $@ $< distclean: clean clean: