diff options
author | Justin Lecher <jlec@gentoo.org> | 2015-11-23 11:21:09 +0100 |
---|---|---|
committer | Justin Lecher <jlec@gentoo.org> | 2015-11-23 11:46:39 +0100 |
commit | 067f2d2d638ded5988c36e5541d0e98eafa0a6b9 (patch) | |
tree | cf38a27fddd44bdb72a24611764fd59e99b0e0e9 | |
parent | sys-devel/binutils-config: detect broken cross-compiler rpaths #562460 (diff) | |
download | gentoo-067f2d2d638ded5988c36e5541d0e98eafa0a6b9.tar.gz gentoo-067f2d2d638ded5988c36e5541d0e98eafa0a6b9.tar.bz2 gentoo-067f2d2d638ded5988c36e5541d0e98eafa0a6b9.zip |
sci-mathematics/agda-stdlib: Replace INSOPTIONS by insopts()
Gentoo-Bug: https://bugs.gentoo.org/show_bug.cgi?id=566490
Package-Manager: portage-2.2.25
Signed-off-by: Justin Lecher <jlec@gentoo.org>
-rw-r--r-- | sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild | 4 | ||||
-rw-r--r-- | sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild | 4 | ||||
-rw-r--r-- | sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild | 2 |
3 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild index 6ccbc88c9a05..cc2c3416beae 100644 --- a/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild +++ b/sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -60,7 +60,7 @@ src_test() { src_install() { insinto usr/share/agda-stdlib - export INSOPTIONS=--preserve-timestamps + insopts --preserve-timestamps doins -r src/* dodoc -r html/* elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild index 6ccbc88c9a05..cc2c3416beae 100644 --- a/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild +++ b/sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2014 Gentoo Foundation +# Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ @@ -60,7 +60,7 @@ src_test() { src_install() { insinto usr/share/agda-stdlib - export INSOPTIONS=--preserve-timestamps + insopts --preserve-timestamps doins -r src/* dodoc -r html/* elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild index 867f3557dcc3..3f5fb3f4ffe1 100644 --- a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild +++ b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild @@ -59,7 +59,7 @@ src_test() { src_install() { insinto usr/share/agda-stdlib - export INSOPTIONS=--preserve-timestamps + insopts --preserve-timestamps doins -r src/* dodoc -r html/* elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die |