From d25dfc1a30ab227178f8cd4304f28a35f4d7e19d Mon Sep 17 00:00:00 2001
From: glondu
Date: Sat, 16 Oct 2010 08:04:34 +0000
Subject: Fix missing -coqlib argument to coqdep in test-suite

The test misc/deps-order was failing in non-local mode.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13560 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 7bd8d4dcf0..6c3d59dfdd 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),,@)
-- 
cgit v1.2.3