summaryrefslogtreecommitdiff
path: root/support
diff options
context:
space:
mode:
authorAlex Xu <alex_y_xu@yahoo.ca>2019-05-07 08:43:45 -0400
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>2019-05-20 22:33:14 +0200
commitb7fddc06224f10e847dd4af8a259bbdee58e837b (patch)
treecca97bfd781d1ca027351ce707a7d635d9669ca0 /support
parentcc01d562d3f40c145b0d50c118f7b8b862881a19 (diff)
support/scripts/check-bin-arch: ignore /usr/lib/grub
/lib/grub is already ignored, so add /usr/lib/grub to support BR2_ROOTFS_MERGED_USR. Signed-off-by: Alex Xu <alex_y_xu@yahoo.ca> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Diffstat (limited to 'support')
-rwxr-xr-xsupport/scripts/check-bin-arch5
1 files changed, 3 insertions, 2 deletions
diff --git a/support/scripts/check-bin-arch b/support/scripts/check-bin-arch
index 66b8d89932..3449bd1aeb 100755
--- a/support/scripts/check-bin-arch
+++ b/support/scripts/check-bin-arch
@@ -21,9 +21,10 @@ declare -a IGNORES=(
# are not for the target architecture
"/usr/share"
- # Skip files in /lib/grub, since it is possible to have it
- # for a different architecture (e.g. i386 grub on x86_64).
+ # Skip files in {/usr,}/lib/grub, since it is possible to have
+ # it for a different architecture (e.g. i386 grub on x86_64).
"/lib/grub"
+ "/usr/lib/grub"
)
while getopts p:l:r:a:i: OPT ; do