gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/agda-stdlib: Replace INSOPTIONS by insopts()

Browse Source 
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>
This commit is contained in:
Justin Lecher
2015-11-23 11:21:09 +01:00
parent 7fbeab2ed7
commit 067f2d2d63
3 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild
View File

@@ -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

4
sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild
View File

@@ -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

2
sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild
View File

@@ -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