From 0b927a1f21a6a0b7c2d8ef99457b2d5c32ca181d Mon Sep 17 00:00:00 2001 From: xleroy 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 --- coq | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq') 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 -- cgit v1.2.3