From bbe7b785787ff3f13e5c2809a67241981b06e1db Mon Sep 17 00:00:00 2001
From: Ralf Jung
Date: Wed, 29 Nov 2017 12:05:01 +0100
Subject: coq_makefile: pass filenames to coqchk

---
 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 4ee6efec0c..87783350a2 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -392,7 +392,7 @@ checkproofs:
 .PHONY: checkproofs
 
 validate: $(VOFILES)
-	$(TIMER) $(COQCHK) $(COQCHKFLAGS) $(notdir $(^:.vo=))
+	$(TIMER) $(COQCHK) $(COQCHKFLAGS) $^
 .PHONY: validate
 
 only: $(TGTS)
-- 
cgit v1.2.3