From 828b84e81625c80403860d58756bddd760e6ee34 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 30 Jun 2020 21:40:22 +0200
Subject: Remove deprecated (in 8.8 #6277) coqchk -I

---
 tools/CoqMakefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in
index 9097195721..0086516785 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -467,7 +467,7 @@ vok: $(VOFILES:%.vo=%.vok)
 .PHONY: vok
 
 validate: $(VOFILES)
-	$(TIMER) $(COQCHK) $(COQCHKFLAGS) $(COQLIBS) $^
+	$(TIMER) $(COQCHK) $(COQCHKFLAGS) $(COQLIBS_NOML) $^
 .PHONY: validate
 
 only: $(TGTS)
-- 
cgit v1.2.3