From a7c3e57cb7c3280dfec3a95b18dec83ee6e6d4f4 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Mon, 20 Jun 2016 02:55:09 -0400
Subject: Makefile: build on Arch Linux once again

---
 Makefile | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 48f8a9d5b..01fc0938e 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,6 @@ SILENCE_COQDEP = $(SILENCE_COQDEP_$(VERBOSE))
 SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g'
 
 update-_CoqProject::
-	$(VECHO) "GIT LS-FILES *.V > _COQPROJECT"
 	$(Q)(echo '-R $(SRC_DIR) $(MOD_NAME)'; echo '-R Bedrock Bedrock'; (git ls-files 'src/*.v' 'Bedrock/*.v' | $(SORT_COQPROJECT))) > _CoqProject
 
 coq: coqprime Makefile.coq
@@ -39,7 +38,6 @@ coqprime-8.5:
 	$(MAKE) -C coqprime-8.5
 
 Makefile.coq: Makefile _CoqProject
-	$(VECHO) "COQ_MAKEFILE"
 	$(Q)$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
 
 clean: Makefile.coq
-- 
cgit v1.2.3