diff options
Diffstat (limited to 'dev-lang/mosml')
| -rw-r--r-- | dev-lang/mosml/ChangeLog | 8 | ||||
| -rw-r--r-- | dev-lang/mosml/mosml-2.01-r1.ebuild | 8 |
2 files changed, 12 insertions, 4 deletions
diff --git a/dev-lang/mosml/ChangeLog b/dev-lang/mosml/ChangeLog index 29ef4cf1b151..2a51acd27aef 100644 --- a/dev-lang/mosml/ChangeLog +++ b/dev-lang/mosml/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for dev-lang/mosml -# Copyright 2000-2008 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/ChangeLog,v 1.9 2008/06/06 01:26:53 darkside Exp $ +# Copyright 2000-2009 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/ChangeLog,v 1.10 2009/05/30 02:11:23 darkside Exp $ + + 30 May 2009; Jeremy Olexa <darkside@gentoo.org> mosml-2.01-r1.ebuild: + (non maintainer commit) Fix by Victor Ostorga to no longer pre-strip files, + bug 240215 *mosml-2.01-r1 (06 Jun 2008) diff --git a/dev-lang/mosml/mosml-2.01-r1.ebuild b/dev-lang/mosml/mosml-2.01-r1.ebuild index ecfb66ed4646..f065eaefa9ea 100644 --- a/dev-lang/mosml/mosml-2.01-r1.ebuild +++ b/dev-lang/mosml/mosml-2.01-r1.ebuild @@ -1,6 +1,6 @@ -# Copyright 1999-2008 Gentoo Foundation +# Copyright 1999-2009 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/mosml-2.01-r1.ebuild,v 1.1 2008/06/06 01:26:53 darkside Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-lang/mosml/mosml-2.01-r1.ebuild,v 1.2 2009/05/30 02:11:23 darkside Exp $ inherit eutils @@ -18,6 +18,10 @@ src_unpack() { unpack ${A} cd "${S}" epatch "${FILESDIR}/${P}-malloc.patch" #154859 + + #Fixing pre-stripped files + sed -i -e "/STRIP/d" mosmlyac/Makefile || die "sed Makefile failed" + sed -i -e "/STRIP/d" runtime/Makefile || die "sed Makefile failed" } src_compile() { |