diff options
author | Michael Gilroy <michael.gilroy24@gmail.com> | 2017-06-16 03:54:46 +0000 |
---|---|---|
committer | Michael Gilroy <michael.gilroy24@gmail.com> | 2017-06-16 03:54:46 +0000 |
commit | fdcdae46d839ba7baa878fd7cc9245ad79941ba1 (patch) | |
tree | e184f9942e711339543d860d764537c5de90eac3 | |
parent | Manifests & metadata added for repoman (diff) | |
download | gentoo-mpi-fdcdae46d839ba7baa878fd7cc9245ad79941ba1.tar.gz gentoo-mpi-fdcdae46d839ba7baa878fd7cc9245ad79941ba1.tar.bz2 gentoo-mpi-fdcdae46d839ba7baa878fd7cc9245ad79941ba1.zip |
breaking up find statement for error handling purposes
-rw-r--r-- | eclass/mpi-providers.eclass | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/eclass/mpi-providers.eclass b/eclass/mpi-providers.eclass index 6277541..705876c 100644 --- a/eclass/mpi-providers.eclass +++ b/eclass/mpi-providers.eclass @@ -35,7 +35,8 @@ mpi-providers_safe_mv() { mv "${T}/DOCS" "${ED}/usr/share/doc" ||die "mv failed" cd "${mpi_root}/etc" - find -O3 -mindepth 1 -maxdepth 1 ! -path "./${PF}*" -execdir cp -a -t "${PF}" '{}' \+ + local etcdirs=$(find -O3 -mindepth 1 -maxdepth 1 ! -path "./${PF}*") || die + cp -t "${ED}"/etc/"${PN}"-"${PVR}" "${etcdirs}" || die } |