From d7eeccea4882a90906d83e3242578700f281c5a0 Mon Sep 17 00:00:00 2001
From: blazy <blazy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 5 Jun 2009 19:10:39 +0000
Subject: [PATCH] message macosx en accord avec configure

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

diff --git a/README b/README
index afb358d5a..3b136a98a 100644
--- a/README
+++ b/README
@@ -61,7 +61,7 @@ INSTALLATION:
 
 where <target> is one of:
 
-            macosx           (PowerPC, MacOS X)
+            ppc-macosx       (PowerPC, MacOS X)
             ppc-linux        (PowerPC, Linux)
             arm-linux        (ARM, Linux)
 
-- 
GitLab