From 0b3920e6fd26f05e2ddad19cfd8b224c150ebfd1 Mon Sep 17 00:00:00 2001
From: blazy <blazy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 20 Oct 2006 20:20:43 +0000
Subject: Resolution d'un probleme (cf. big endian), et mise a jour des
 Makefile.

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

(limited to 'caml')

diff --git a/caml/Main2.ml b/caml/Main2.ml
index adb74396..88f5b72d 100644
--- a/caml/Main2.ml
+++ b/caml/Main2.ml
@@ -47,7 +47,7 @@ let save_csyntax = ref false
 let preprocess file =
   let temp = Filename.temp_file "compcert" ".i" in
   let cmd =
-    sprintf "gcc %s -D__COMPCERT__ -D__ppc__ -E %s > %s"
+    sprintf "gcc -arch ppc %s -D__COMPCERT__ -E %s > %s"
       (String.concat " " (List.rev !prepro_options))
       file
       temp in
-- 
cgit