diff options
| -rwxr-xr-x | core/grub/build | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/core/grub/build b/core/grub/build index c937d263..10513bf0 100755 --- a/core/grub/build +++ b/core/grub/build @@ -8,7 +8,8 @@ export PYTHON=/bin/true # the Python tooling. The /bin/true above will create a # blank file, this prevents the blank file from overwriting # the existing one. -sed -i 's/mv $@.new $@/:/g' grub/Makefile.in +sed 's/mv $@.new $@/:/g' grub/Makefile.in > _ +cat _ > grub/Makefile.in; rm -f _ # Strip '-march' from 'CFLAGS' as per advice from upstream. # Fixes build fails on specific hardware. |