]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/content_pres/Makefile
some makefile work
[helm.git] / helm / ocaml / content_pres / Makefile
index 642e3ce0e4b4f20b8bc36999c124560bb1d0db92..459b793f0fc497db3dd6c483d1b3f36d490fb653 100644 (file)
@@ -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}