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

1 files changed, 1 insertions, 1 deletions

diff --git a/pg b/pg
index 33a70ce..28926ba 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