diff options
Diffstat (limited to 'disk/grub2/BUILD')
-rwxr-xr-x | disk/grub2/BUILD | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/disk/grub2/BUILD b/disk/grub2/BUILD index 564f1c6742..e1391d4cc6 100755 --- a/disk/grub2/BUILD +++ b/disk/grub2/BUILD @@ -1,5 +1,8 @@ OPTS="${OPTS} ${GRUB2_OPTS} -disable-werror" && -CFLAGS=${CFLAGS/-m64/} && -CFLAGS=${CFLAGS/-O?/-Os} && +OPTS="$OPTS --with-platform=${GRUB2_PLATFORM%/*}" && +CFLAGS=${CFLAGS//-m64/} && +CFLAGS=$(echo ${CFLAGS} | sed -r "s;-O([0-9]|fast);-Os;g") && +LDFLAGS=${LDFLAGS//-s /} && +LDFLAGS=${LDFLAGS%-s} && disable_pic force && default_build |