From f0d5dd5b65652d7c5b7af02a9de161f7b95588e5 Mon Sep 17 00:00:00 2001
From: lmamane
Date: Thu, 26 Mar 2009 03:31:03 +0000
Subject: bin/coq-{parser,interface}: use this coqtop, not the first in $PATH

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12015 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index 5894c133b9..16e7cdaa43 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -366,12 +366,12 @@ else
 
 bin/coq-interface$(EXE):
 	echo "#!/bin/sh" > $@
-	echo "exec coqtop -require CoqInterface" >> $@
+	echo 'exec '$(BINDIR)'/coqtop -require CoqInterface' >> $@
 	chmod +x $@
 
 bin/coq-parser$(EXE):
 	echo "#!/bin/sh" > $@
-	echo "exec coqtop -batch -l CoqParser" >> $@
+	echo 'exec '$(BINDIR)'/coqtop -batch -l CoqParser' >> $@
 	chmod +x $@
 
 endif # of HASNATDYNLINK
-- 
cgit v1.2.3