diff options
author | David Seifert <soap@gentoo.org> | 2022-07-26 21:27:17 +0200 |
---|---|---|
committer | David Seifert <soap@gentoo.org> | 2022-07-26 21:27:17 +0200 |
commit | dc9f937bfca84bc48579d8aac54b5f1ae72793d2 (patch) | |
tree | 1063d1789f3527756305736a55c1b32d8e744b7e /eclass/opam.eclass | |
parent | ros-catkin.eclass: [QA] use bash [[ ... ]] brackets (diff) | |
download | gentoo-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.eclass | 4 |
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 |