diff options
| author | Emilio Jesus Gallego Arias | 2020-05-18 13:11:54 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-18 13:11:54 +0200 |
| commit | a891dd541aa24239b0a7b93ab0eb56300a1cd02e (patch) | |
| tree | 382b18fb2ee77c35a9a7b154a864fd38ee02f556 | |
| parent | 5ec400894c62d7f73caa3f554a5c9b9ee5b8f8d6 (diff) | |
| parent | 835289d50aec9172db49e2c4849ad1f73a1d36b3 (diff) | |
Merge PR #12345: test-suite/Makefile: fix incomplete prerequisite list
Reviewed-by: ejgallego
| -rw-r--r-- | test-suite/Makefile | 5 |
1 files changed, 1 insertions, 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 |