From 835289d50aec9172db49e2c4849ad1f73a1d36b3 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 18 May 2020 11:17:13 +0200
Subject: test-suite/Makefile: fix incomplete prerequisite list

---
 test-suite/Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index dece21885c..bbd31486fe 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -117,10 +117,7 @@ VSUBSYSTEMS := prerequisite success failure $(BUGS) output output-coqtop \
 # All subsystems
 SUBSYSTEMS := $(VSUBSYSTEMS) misc bugs ide vio coqchk coqwc coq-makefile tools $(UNIT_TESTS)
 
-PREREQUISITELOG = prerequisite/admit.v.log			\
-  prerequisite/make_local.v.log prerequisite/make_notation.v.log \
-  prerequisite/bind_univs.v.log prerequisite/module_bug8416.v.log \
-  prerequisite/module_bug7192.v.log
+PREREQUISITELOG = $(addsuffix .log,$(wildcard prerequisite/*.v))
 
 #######################################################################
 # Phony targets
-- 
cgit v1.2.3