X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcontent_pres%2FMakefile;h=459b793f0fc497db3dd6c483d1b3f36d490fb653;hb=c051f623926cdc3b744c38ba393c0a9c7622d299;hp=642e3ce0e4b4f20b8bc36999c124560bb1d0db92;hpb=0ef468f9000a8e9c391cc8ade2f9aea35e878305;p=helm.git

diff --git a/helm/ocaml/content_pres/Makefile b/helm/ocaml/content_pres/Makefile
index 642e3ce0e..459b793f0 100644
--- a/helm/ocaml/content_pres/Makefile
+++ b/helm/ocaml/content_pres/Makefile
@@ -27,7 +27,8 @@ clean: clean_tests
 LOCAL_LINKOPTS = -package helm-content_pres -linkpkg
 test: test_lexer
 test_lexer: test_lexer.ml $(PACKAGE).cma
-	$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
+	@echo "  OCAMLC $<"
+	@$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
 
 clean_tests:
 	rm -f test_lexer{,.opt}