message macosx en accord avec configure

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1079 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

message macosx en accord avec configure
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1079 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
d7eeccea · blazy · 615fb53c · d7eeccea
Commit d7eeccea authored 15 years ago by blazy
--- 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)