diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-10-22 10:20:57 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-10-22 10:20:57 +0000 |
| commit | 85069eec5885d0383483d8505ca1bdccd39c430a (patch) | |
| tree | 5d241a7e49e16a5bd5181543044f091af0d97db6 /sci-mathematics/spass | |
| parent | Remove old. (diff) | |
| download | gentoo-2-85069eec5885d0383483d8505ca1bdccd39c430a.tar.gz gentoo-2-85069eec5885d0383483d8505ca1bdccd39c430a.tar.bz2 gentoo-2-85069eec5885d0383483d8505ca1bdccd39c430a.zip | |
Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z should be -n.
(Portage version: 2.1.11.30/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics/spass')
| -rw-r--r-- | sci-mathematics/spass/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/spass/spass-3.7.ebuild | 4 |
2 files changed, 7 insertions, 3 deletions
diff --git a/sci-mathematics/spass/ChangeLog b/sci-mathematics/spass/ChangeLog index 68842aeb0a2d..d5450c934180 100644 --- a/sci-mathematics/spass/ChangeLog +++ b/sci-mathematics/spass/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/spass # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.4 2012/08/10 05:58:33 jlec Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.5 2012/10/22 10:20:57 gienah Exp $ + + 22 Oct 2012; Mark Wright <gienah@gentoo.org> spass-3.7.ebuild: + Thanks to Imre Vadasz for reporting bug #439178 and providing the fix, -z + should be -n. 10 Aug 2012; Justin Lecher <jlec@gentoo.org> spass-3.7.ebuild: Clean residuals from another fix solution diff --git a/sci-mathematics/spass/spass-3.7.ebuild b/sci-mathematics/spass/spass-3.7.ebuild index ed21973ac7ea..6746c6ba02cf 100644 --- a/sci-mathematics/spass/spass-3.7.ebuild +++ b/sci-mathematics/spass/spass-3.7.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v 1.3 2012/08/10 05:58:33 jlec Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/spass-3.7.ebuild,v 1.4 2012/10/22 10:20:57 gienah Exp $ EAPI=4 @@ -40,7 +40,7 @@ src_install() { if use isabelle; then ISABELLE_HOME="$(isabelle getenv ISABELLE_HOME | cut -d'=' -f 2)" - [[ -z "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" + [[ -n "${ISABELLE_HOME}" ]] || die "ISABELLE_HOME empty" dodir "${ISABELLE_HOME}/contrib/${PN}-${PV}/etc" cat <<- EOF >> "${S}/settings" |