diff options
| author | Pol Vinogradov | 2014-10-10 17:17:26 -0400 |
|---|---|---|
| committer | Pol Vinogradov | 2014-10-10 17:17:26 -0400 |
| commit | 9b88401a549755f8772e24148090c9c3619c2e6d (patch) | |
| tree | 80092d49a0fd2fc58b13828f43f7223ae11e99bf | |
| parent | 2896212307fc9b963cccabfa4f88eb2f4ab36949 (diff) | |
disk/grub2/BUILD: good old sed works better
| -rwxr-xr-x | disk/grub2/BUILD | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/disk/grub2/BUILD b/disk/grub2/BUILD index e0dd644130..e1391d4cc6 100755 --- a/disk/grub2/BUILD +++ b/disk/grub2/BUILD @@ -1,7 +1,7 @@ OPTS="${OPTS} ${GRUB2_OPTS} -disable-werror" && OPTS="$OPTS --with-platform=${GRUB2_PLATFORM%/*}" && CFLAGS=${CFLAGS//-m64/} && -CFLAGS=${CFLAGS//-O(\d|fast)/-Os} && +CFLAGS=$(echo ${CFLAGS} | sed -r "s;-O([0-9]|fast);-Os;g") && LDFLAGS=${LDFLAGS//-s /} && LDFLAGS=${LDFLAGS%-s} && disable_pic force && |