diff options
| author | Karl Berry <karl@freefriends.org> | 2011-05-13 02:19:19 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2011-05-13 02:19:19 +0000 |
| commit | 4d017fb85a07c662d8b8112a87b19f1004baa58e (patch) | |
| tree | 97065ddc30c5da126b11a8a1b8696e65b87056c9 /Build/source/build-aux | |
| parent | 250cf11e244ab5eac587222160d344548a2a190d (diff) | |
/home/texlive/karl/Master/tlpkg/bin/tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@22451 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/build-aux')
| -rwxr-xr-x | Build/source/build-aux/config.guess | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Build/source/build-aux/config.guess b/Build/source/build-aux/config.guess index 187cd54edd2..40eaed4821e 100755 --- a/Build/source/build-aux/config.guess +++ b/Build/source/build-aux/config.guess @@ -4,7 +4,7 @@ # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, # 2011 Free Software Foundation, Inc. -timestamp='2011-02-02' +timestamp='2011-05-11' # This file is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by @@ -882,7 +882,13 @@ EOF then echo ${UNAME_MACHINE}-unknown-linux-gnu else - echo ${UNAME_MACHINE}-unknown-linux-gnueabi + if echo __ARM_PCS_VFP | $CC_FOR_BUILD -E - 2>/dev/null \ + | grep -q __ARM_PCS_VFP + then + echo ${UNAME_MACHINE}-unknown-linux-gnueabi + else + echo ${UNAME_MACHINE}-unknown-linux-gnueabihf + fi fi exit ;; avr32*:Linux:*:*) |