path: root/support
diff options
authorGravatar Erico Nunes <nunes.erico@gmail.com>2018-09-27 00:37:16 +0200
committerGravatar Thomas Petazzoni <thomas.petazzoni@bootlin.com>2018-11-26 20:59:33 +0100
commit2d9566b7b7a6d34a37e88426e483e8ceb8568c8d (patch)
tree152123fba791d541551406b65e206bb0dab0b570 /support
parentac0719e0869a18537b059b12fcbb3c05399e80fb (diff)
boot/grub2: add option to install tools
Add an option to install grub2 support tools to the target. In the context of Buildroot, some useful target tools provided are grub2-editenv, grub2-reboot, which provide means to manage the grub2, environment, boot order, and others. Signed-off-by: Erico Nunes <nunes.erico@gmail.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Diffstat (limited to 'support')
1 files changed, 4 insertions, 0 deletions
diff --git a/support/scripts/check-bin-arch b/support/scripts/check-bin-arch
index 7f97696735..66b8d89932 100755
--- a/support/scripts/check-bin-arch
+++ b/support/scripts/check-bin-arch
@@ -20,6 +20,10 @@ declare -a IGNORES=(
# pru-software-support) legitimately install ELF binaries that
# are not for the target architecture
+ # Skip files in /lib/grub, since it is possible to have it
+ # for a different architecture (e.g. i386 grub on x86_64).
+ "/lib/grub"
while getopts p:l:r:a:i: OPT ; do