From ff61778018f5eff362a50e48e5b3fd30dec962d2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 10 Sep 2020 15:06:33 +0200
Subject: Update mathcomp/Makefile.test-suite.coq.local

Co-authored-by: Erik Martin-Dorel <erik@martin-dorel.org>---
 mathcomp/Makefile.test-suite.coq.local | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mathcomp/Makefile.test-suite.coq.local b/mathcomp/Makefile.test-suite.coq.local
index 119eff1..9db49c5 100644
--- a/mathcomp/Makefile.test-suite.coq.local
+++ b/mathcomp/Makefile.test-suite.coq.local
@@ -16,5 +16,5 @@ post-all:: $(OUTPUT_ARTIFACTS)
 	  fi;\
 	done
 
-$(OUTPUT_ARTIFACTS): %.v.out.new: %.v all/all.vo
+$(OUTPUT_ARTIFACTS): %.v.out.new: %.v
 	$(COQC) $(COQFLAGS) $(COQLIBS) $< > $<.out.new
-- 
cgit v1.2.3