diff options
author | Alex Xu <alex_y_xu@yahoo.ca> | 2019-05-07 08:43:45 -0400 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@bootlin.com> | 2019-05-20 22:33:14 +0200 |
commit | b7fddc06224f10e847dd4af8a259bbdee58e837b (patch) | |
tree | cca97bfd781d1ca027351ce707a7d635d9669ca0 /support | |
parent | cc01d562d3f40c145b0d50c118f7b8b862881a19 (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-x | support/scripts/check-bin-arch | 5 |
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 |