From 0d485b7aa33feb723fdff1af56e61269df001904 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 10 Apr 2002 18:00:30 +0000
Subject: Simplification du nom de l'architecture Mac OS X

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2631 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/distrib/Makefile b/distrib/Makefile
index e7f16f0c19..a32910c29a 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -2,9 +2,9 @@
 
 sinclude config.distrib
 LOCALARCH=`uname -m`
-ARCH=`uname -m | sed -e 's/i.86/i386/'`
-#Pour MacOS X
-#ARCH=`uname -m | sed -e 's/Power Macintosh/MacOS-X/'`
+# i.86 standardized to i386
+# MacOS X returns "Power Macintosh" - changed to "MacOS-X"
+ARCH=`uname -m | sed -e 's/i.86/i386/' -e 's/Power Macintosh/MacOS-X/'`
 SYSTEM=`uname -s`
 
 ARCHBUILDROOT=$(DISTRIBDIR)/${ARCH}
-- 
cgit v1.2.3