]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
we renamed the module abbreviations according to src/modules.ml
[helm.git] / helm / software / lambda-delta / Makefile.common
index c47540beac9ff2e3c5aed7b0f4ffea6de23517f3..e3b12db5128137ac89127e6b16ef5f92939a5d98 100644 (file)
@@ -63,7 +63,7 @@ $(MAIN).opt: $(OBJECTS)
        $(H)$(OCAMLDEP) $^ > .depend.opt
 
 clean:
-       @echo "  CLEAN"
+       @echo "  CLEAN . $(SRC)"
        $(H)find -name "*~" | xargs $(RM) $(CLEAN)
 
 lint: $(XMLS)