From cd1afd767cd65ecf8c2421e6262554209bf876d2 Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Thu, 4 Sep 2014 12:22:00 +0200 Subject: [PATCH] openmpi: use 'em.set_docfiles()' --- scripts/openmpi.build | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/scripts/openmpi.build b/scripts/openmpi.build index 23a58ce..ba22b8c 100755 --- a/scripts/openmpi.build +++ b/scripts/openmpi.build @@ -14,16 +14,9 @@ function em.configure() { || exit 1 } -function em.install_doc() { - install -m 0444 \ - AUTHORS \ - LICENSE \ - NEWS \ - README \ - "${DOCDIR}" -} em.add_to_family 'Compiler' em.set_runtime_dependencies "${COMPILER}" em.set_build_dependencies "${COMPILER}" +em.set_docfiles 'AUTHORS' 'LICENSE' 'NEWS' 'README' em.make_all