]> git.ipfire.org Git - thirdparty/grub.git/commit
projects / thirdparty / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3b15ba) | patch
build: Add new header files to dist to allow building from tar
authorAndrew Hamilton <adhamilt@gmail.com>
Wed, 11 Jun 2025 03:15:46 +0000 (22:15 -0500)
committerDaniel Kiper <daniel.kiper@oracle.com>
Tue, 17 Jun 2025 11:51:46 +0000 (13:51 +0200)
commitce23919cac1bee0a9aa73611da66496bf5db57ac
tree6240045e4a9e6e25d72545160cfae9d5dabb8bcatree | snapshot
parente3b15bafd10157033855b390a8124192dc450fa7commit | diff
build: Add new header files to dist to allow building from tar

Several new header files have been added to GRUB which need
to be manually added to the dist archive. This allows building
from the tar archive created by "make dist".

Signed-off-by: Andrew Hamilton <adhamilt@gmail.com>
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
conf/Makefile.extra-dist diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/grub.git