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/coq b/coq
index ea08805..0b04a8c 100755
--- a/coq
+++ b/coq
@@ -12,4 +12,4 @@ make -q ${1}o || {
    done)
 }
 
-coqide $INCLUDES $1 && make ${1}o
+"${COQBIN}coqide" $INCLUDES $1 && make ${1}o