From 094dcb6907373bb62165bee33311419600d8a4cc Mon Sep 17 00:00:00 2001 From: Klemens Nanni Date: Sun, 16 Aug 2015 17:01:21 +0100 Subject: scripts: use the -j option in make (multithreaded compilation) --- resources/scripts/helpers/build/roms/withgrub_helper | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'resources/scripts/helpers/build/roms/withgrub_helper') diff --git a/resources/scripts/helpers/build/roms/withgrub_helper b/resources/scripts/helpers/build/roms/withgrub_helper index d68e9a24..fbd0cfd6 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 +# Copyright (C) 2015 Klemens Nanni # # 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 -- cgit v1.2.3-70-g09d2