From 0b927a1f21a6a0b7c2d8ef99457b2d5c32ca181d Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 11 Apr 2014 13:45:43 +0000
Subject: ia32/Select*: complete the modifications to shifts. Makefile: missing
 "clean" actions. Makefile/pg/coq: honor $COQBIN if set (as suggested by P.
 Boutillier)   to facilitate testing with different Coq versions.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2453 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 pg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pg')

diff --git a/pg b/pg
index 33a70cef..28926baa 100755
--- a/pg
+++ b/pg
@@ -13,7 +13,7 @@ make -q ${1}o || {
    done)
 }
 
-COQPROGNAME="coqtop"
+COQPROGNAME="${COQBIN}coqtop"
 
 COQPROGARGS=""
 for arg in $INCLUDES; do
-- 
cgit