From a82c9c0e4a0b8e37c9c3ea5ae99714982563606f Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 14 Jan 2012 14:23:26 +0000
Subject: Merge of the nonstrict-ops branch: - Most RTL operators now evaluate
 to Some Vundef instead of None   when undefined behavior occurs. - More
 aggressive instruction selection. - "Bertotization" of pattern-matchings now
 implemented by a proper preprocessor. - Cast optimization moved to
 cfrontend/Cminorgen; removed backend/CastOptim.

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

(limited to 'coq')

diff --git a/coq b/coq
index 97d4ca6..53ed140 100755
--- a/coq
+++ b/coq
@@ -9,7 +9,7 @@ VARIANT=`sed -n -e 's/^VARIANT=//p' Makefile.config`
 make -q ${1}o || {
   make -n ${1}o | grep -v "\\b${1}\\b" | \
   (while read cmd; do
-    $cmd || exit 2
+    sh -c "$cmd" || exit 2
    done)
 }
 
-- 
cgit v1.2.3