diff options
Diffstat (limited to 'resources/scripts/build/grub/utils')
| -rwxr-xr-x | resources/scripts/build/grub/utils | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/resources/scripts/build/grub/utils b/resources/scripts/build/grub/utils index 3ef78227..f0449ed7 100755 --- a/resources/scripts/build/grub/utils +++ b/resources/scripts/build/grub/utils @@ -34,12 +34,18 @@ main() build_grub() { ( - cd grub/ || err "cd" - [ ! -d Makefile ] || make distclean || err "make-distclean" - ./bootstrap --gnulib-srcdir=gnulib/ --no-git || err "bootstrap" - ./autogen.sh || err "autogen" - ./configure --with-platform=coreboot || err "configure" - make -j$(nproc) || err "make" + cd grub/ || \ + err "build_grub: cd" + [ ! -d Makefile ] || make distclean || \ + err "build_grub: make-distclean" + ./bootstrap --gnulib-srcdir=gnulib/ --no-git || \ + err "build_grub: gnulib bootstrap" + ./autogen.sh || \ + err "build_grub: autogen.sh" + ./configure --with-platform=coreboot || \ + err "build_grub: autoconf" + make -j$(nproc) || \ + err "build_grub: make" ) } |