diff options
| author | Klemens Nanni <klemens@posteo.de> | 2015-08-16 12:01:21 (EDT) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-08-16 12:05:34 (EDT) |
| commit | 094dcb6907373bb62165bee33311419600d8a4cc (patch) | |
| tree | 294c5f128d4882f755eae277ac255749a5f16980 /resources/scripts/helpers/build/roms | |
| parent | 5016e9e0c6dd30fb49e50b698fc857f15aae6de7 (diff) | |
| download | libreboot-094dcb6907373bb62165bee33311419600d8a4cc.zip libreboot-094dcb6907373bb62165bee33311419600d8a4cc.tar.gz libreboot-094dcb6907373bb62165bee33311419600d8a4cc.tar.bz2 | |
scripts: use the -j option in make (multithreaded compilation)
Diffstat (limited to 'resources/scripts/helpers/build/roms')
| -rwxr-xr-x | resources/scripts/helpers/build/roms/withgrub_helper | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/roms/withgrub_helper b/resources/scripts/helpers/build/roms/withgrub_helper index d68e9a2..fbd0cfd 100755 --- a/resources/scripts/helpers/build/roms/withgrub_helper +++ b/resources/scripts/helpers/build/roms/withgrub_helper @@ -3,6 +3,7 @@ # helper script: create ROM images for a given system, with GRUB # # Copyright (C) 2014, 2015 Francis Rowe <info@gluglug.org.uk> +# Copyright (C) 2015 Klemens Nanni <contact@autoboot.org> # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -75,7 +76,7 @@ do make clean mv "config_${romtype}" ".config" mv "grub_${romtype}.elf" "grub.elf" - make + make -j$(nproc) mv "grub.elf" "grub_${romtype}.elf" mv "build/coreboot.rom" "${1}_${romtype}.rom" # .config no longer needed |