From 468f10b91dd01b2a675342edb1fdf56227237e59 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ertu=C4=9Frul=20Erata?= Date: Tue, 14 Feb 2017 14:18:19 +0200 Subject: [PATCH] for ... --- system/boot/efibootmgr/actions.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/system/boot/efibootmgr/actions.py b/system/boot/efibootmgr/actions.py index 209478b337..456a4fbdc9 100644 --- a/system/boot/efibootmgr/actions.py +++ b/system/boot/efibootmgr/actions.py @@ -20,6 +20,6 @@ def install(): shelltools.makedirs("%s/usr/share/man" % get.installDIR()) shelltools.makedirs("%s/usr/include" % get.installDIR()) autotools.rawInstall("DESTDIR=%s" % get.installDIR()) - #pisitools.insinto("/usr/lib", "src/lib/*.o") - #pisitools.insinto("/usr/share/man", "src/man/*") + pisitools.insinto("/usr/lib", "src/lib/*.o") + pisitools.insinto("/usr/share/man", "src/man/*") pisitools.insinto("/usr/include", "src/include/*.h")