From: Stephane Glondu <steph@glondu.net>
Date: Fri, 15 Oct 2010 17:24:18 +0200
Subject: [PATCH] Fix missing -coqlib argument to coqdep in test-suite

Signed-off-by: Stephane Glondu <steph@glondu.net>
---
 test-suite/Makefile |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 62d443d..98bab43 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -40,7 +40,7 @@ endif
 
 command := $(coqtop) -top Top -load-vernac-source
 coqc := $(coqtop) -compile
-coqdep := $(BIN)coqdep
+coqdep := $(BIN)coqdep -coqlib $(LIB)
 
 SHOW := $(if $(VERBOSE),@true,@echo)
 HIDE := $(if $(VERBOSE),,@)
--