Pisilinux/main
5
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

efibootmgr

Browse Source
This commit is contained in:
Rmys
2021-08-22 21:43:12 +03:00
committed by GitHub
parent e35852d068
commit 813eb85a68
2 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
system/boot/efibootmgr/actions.py
+2 -2
View File
@@ -13,13 +13,13 @@ def build():
shelltools.system("sed -e '/extern int efi_set_verbose/d' -i src/efibootmgr.c") shelltools.system("sed -e '/extern int efi_set_verbose/d' -i src/efibootmgr.c")
shelltools.export("CFLAGS", "-Os") shelltools.export("CFLAGS", "-Os")
autotools.make("EFIDIR='/boot/EFI'") autotools.make("EFIDIR=pisilinux EFI_LOADER=grubx64.efi")
def install(): def install():
shelltools.makedirs("%s/usr/sbin" % get.installDIR()) shelltools.makedirs("%s/usr/sbin" % get.installDIR())
shelltools.makedirs("%s/usr/share/man" % get.installDIR()) shelltools.makedirs("%s/usr/share/man" % get.installDIR())
shelltools.makedirs("%s/usr/include" % get.installDIR()) shelltools.makedirs("%s/usr/include" % get.installDIR())
autotools.rawInstall("EFIDIR='/boot/EFI' DESTDIR=%s" % get.installDIR()) autotools.rawInstall("EFIDIR=pisilinux DESTDIR=%s" % get.installDIR())
pisitools.insinto("/usr/share/man", "src/*.8") pisitools.insinto("/usr/share/man", "src/*.8")
pisitools.insinto("/usr/include", "src/include/*.h") pisitools.insinto("/usr/include", "src/include/*.h")
system/boot/efibootmgr/pspec.xml
+7
View File
@@ -46,6 +46,13 @@
</Package> </Package>
<History> <History>
<Update release="14">
<Date>2021-08-22</Date>
<Version>17</Version>
<Comment>Rebuild.</Comment>
<Name>Mustafa Cinasal</Name>
<Email>muscnsl@gmail.com</Email>
</Update>
<Update release="13"> <Update release="13">
<Date>2021-07-17</Date> <Date>2021-07-17</Date>
<Version>17</Version> <Version>17</Version>