Makefile: hide recursive make calls

8559d95c · Ralf Jung · be019f76 · 8559d95c
Commit 8559d95c authored Oct 27, 2016 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 3 deletions

Makefile Makefile +3 -3

No files found.
--- a/Makefile
+++ b/Makefile
 # Makefile originally taken from coq-club

 %: Makefile.coq phony
-	+make -f Makefile.coq $@
+	+@make -f Makefile.coq $@

 all: Makefile.coq
-	+make -f Makefile.coq all
+	+@make -f Makefile.coq all

 clean: Makefile.coq
-	+make -f Makefile.coq clean
+	+@make -f Makefile.coq clean
 	rm -f Makefile.coq

 Makefile.coq: _CoqProject Makefile