]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/Makefile
packege dependences calculation patched
[helm.git] / helm / gTopLevel / Makefile
index bac191eb10cab92b7380d8de407175d4f8fa94c3..5f630f23c7f05187b48fab150a397304fad33b88 100644 (file)
@@ -61,4 +61,6 @@ uninstall:
 
 .PHONY: install uninstall clean
 
-include .depend
+ifneq ($(MAKECMDGOALS), depend)
+   include .depend   
+endif