summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2022-07-26 21:27:17 +0200
committerDavid Seifert <soap@gentoo.org>2022-07-26 21:27:17 +0200
commitdc9f937bfca84bc48579d8aac54b5f1ae72793d2 (patch)
tree1063d1789f3527756305736a55c1b32d8e744b7e /eclass/opam.eclass
parentros-catkin.eclass: [QA] use bash [[ ... ]] brackets (diff)
downloadgentoo-dc9f937bfca84bc48579d8aac54b5f1ae72793d2.tar.gz
gentoo-dc9f937bfca84bc48579d8aac54b5f1ae72793d2.tar.bz2
gentoo-dc9f937bfca84bc48579d8aac54b5f1ae72793d2.zip
opam.eclass: [QA] use bash [[ ... ]] brackets
* As specified in `pg0101` Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'eclass/opam.eclass')
-rw-r--r--eclass/opam.eclass4
1 files changed, 2 insertions, 2 deletions
diff --git a/eclass/opam.eclass b/eclass/opam.eclass
index dee40a4e9f96..3edc2aa86919 100644
--- a/eclass/opam.eclass
+++ b/eclass/opam.eclass
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
# @ECLASS: opam.eclass
@@ -64,7 +64,7 @@ opam_src_install() {
local pkg="${1:-${PN}}"
opam-install "${pkg}"
# Handle opam putting doc in a subdir
- if [ -d "${ED%/}/usr/share/doc/${PF}/${pkg}" ] ; then
+ if [[ -d ${ED%/}/usr/share/doc/${PF}/${pkg} ]] ; then
mv "${ED%/}/usr/share/doc/${PF}/${pkg}/"* "${ED%/}/usr/share/doc/${PF}/" || die
rmdir "${ED%/}/usr/share/doc/${PF}/${pkg}" || die
fi