diff options
author | Mike Frysinger <vapier@gentoo.org> | 2013-05-26 16:15:00 +0000 |
---|---|---|
committer | Mike Frysinger <vapier@gentoo.org> | 2013-05-26 16:15:00 +0000 |
commit | 387909982ad0b3c7ec51e352c5bdb86d61779a29 (patch) | |
tree | 389b5fe201d310bb911ce99d277925b60a441d33 /dev-libs/gmp/gmp-5.1.1.ebuild | |
parent | drop nptl from use.mask as some arches are starting to support it (diff) | |
download | historical-387909982ad0b3c7ec51e352c5bdb86d61779a29.tar.gz historical-387909982ad0b3c7ec51e352c5bdb86d61779a29.tar.bz2 historical-387909982ad0b3c7ec51e352c5bdb86d61779a29.zip |
If USE=pgo tuning fails, ignore the results rather than aborting the build #456346 by Justin Lecher.
Package-Manager: portage-2.2.0_alpha170/cvs/Linux x86_64
Manifest-Sign-Key: 0xFB7C4156
Diffstat (limited to 'dev-libs/gmp/gmp-5.1.1.ebuild')
-rw-r--r-- | dev-libs/gmp/gmp-5.1.1.ebuild | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/dev-libs/gmp/gmp-5.1.1.ebuild b/dev-libs/gmp/gmp-5.1.1.ebuild index 25e03b2bf9d7..9d6fcdd74c7a 100644 --- a/dev-libs/gmp/gmp-5.1.1.ebuild +++ b/dev-libs/gmp/gmp-5.1.1.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2013 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-libs/gmp/gmp-5.1.1.ebuild,v 1.2 2013/04/21 02:21:21 vapier Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-libs/gmp/gmp-5.1.1.ebuild,v 1.3 2013/05/26 16:14:48 vapier Exp $ inherit flag-o-matic eutils libtool unpacker toolchain-funcs @@ -74,10 +74,13 @@ src_compile() { if use pgo ; then emake -j1 -C tune tuneup || die - rm gmp-mparam.h || die - ./tune/tuneup | tee gmp-mparam.h - emake clean || die - emake || die + ebegin "Trying to generate tuned data" + ./tune/tuneup | tee gmp.mparam.h.new + if eend $(( 0 + ${PIPESTATUS[*]/#/+} )) ; then + mv gmp-mparam.h.new gmp-mparam.h + emake clean || die + emake || die + fi fi } |