Makefile: no more message about a Circular Make <- Makefile.coq depen…

…dency dropped
rocq-archive · Jun 24, 2016 · 1d5f90d · 1d5f90d
1 parent 6a503c6
commit 1d5f90d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -8,6 +8,8 @@ clean: Makefile.coq
 Makefile.coq: Make
 	$(COQBIN)coq_makefile -f Make -o Makefile.coq
 
+Make: ;
+
 %: Makefile.coq
 	+make -f Makefile.coq $@