X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fhttp_getter%2FMakefile;fp=helm%2Fhttp_getter%2FMakefile;h=6482ba0bf167ffdde1178a8382417842c560972a;hp=1c727bff26c5449bd333d0729abee26a01c14861;hb=866249edf202e4fec2c0e3fffdee96782009d6f3;hpb=9727171c53f7464ef198972ed26d8a1822bba3f6 diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile index 1c727bff2..6482ba0bf 100644 --- a/helm/http_getter/Makefile +++ b/helm/http_getter/Makefile @@ -8,8 +8,8 @@ OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS) OCAMLDEP = ocamlfind ocamldep $(COMMONOPTS) MODULES = \ http_getter_debugger threadSafe \ - http_getter_types http_getter_misc http_getter_env \ - http_getter_const http_getter_common http_getter_map \ + http_getter_types http_getter_misc http_getter_const \ + http_getter_env http_getter_common http_getter_map \ http_getter_cache OBJS = $(patsubst %,%.cmo,$(MODULES))