diff options
Diffstat (limited to 'script/handle/make')
| -rwxr-xr-x | script/handle/make/config | 1 | ||||
| -rwxr-xr-x | script/handle/make/file | 9 |
2 files changed, 3 insertions, 7 deletions
diff --git a/script/handle/make/config b/script/handle/make/config index 31c1b3c2..cd13aca6 100755 --- a/script/handle/make/config +++ b/script/handle/make/config @@ -227,7 +227,6 @@ run_make_command() copy_elf() { [ "${project}" != "coreboot" ] || xx_ modify_coreboot_rom - while read f; do [ ! -f "${codedir}/$f" ] || \ xx_ cp "${codedir}/${f}" "${dest_dir}/" diff --git a/script/handle/make/file b/script/handle/make/file index 445016ea..c0a6afb4 100755 --- a/script/handle/make/file +++ b/script/handle/make/file @@ -46,12 +46,9 @@ run_make_command() { [ -f "${project}/Makefile" ] || [ -f "${project}/makefile" ] || \ [ -f "${project}/GNUmakefile" ] || return 0 - if [ -z "${mode}" ]; then - x_ make -C "${project}" -j$(nproc) - else - x_ make -C "${project}" clean - make -C "${project}" distclean 2>/dev/null || : - fi + [ -z "${mode}" ] && x_ make -C "${project}" -j$(nproc) && return 0 + x_ make -C "${project}" clean + make -C "${project}" distclean 2>/dev/null || : } main $@ |