diff options
| author | herbelin | 2002-04-10 18:00:30 +0000 |
|---|---|---|
| committer | herbelin | 2002-04-10 18:00:30 +0000 |
| commit | 0d485b7aa33feb723fdff1af56e61269df001904 (patch) | |
| tree | a3f74c9a1b7ee294d64135070bd91f8724a6fd73 | |
| parent | 9b8e006e0c84408992f42bd9d713eacf2936a6d3 (diff) | |
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
| -rw-r--r-- | distrib/Makefile | 6 |
1 files 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} |