Retry dirclean
This commit is contained in:
@@ -583,7 +583,7 @@ from_source() {
|
|||||||
|
|
||||||
# Make prep
|
# Make prep
|
||||||
((VERBOSE)) && make_opts+=("V=s")
|
((VERBOSE)) && make_opts+=("V=s")
|
||||||
execute make "${make_opts[@]}" "-j1" distclean # TODO 'dirclean' has a bug that triggers menuconfig
|
execute make "${make_opts[@]}" "-j1" dirclean # TODO 'dirclean' has a bug that triggers menuconfig
|
||||||
execute make "${make_opts[@]}" "-j1" defconfig
|
execute make "${make_opts[@]}" "-j1" defconfig
|
||||||
execute make "${make_opts[@]}" "-j1" download
|
execute make "${make_opts[@]}" "-j1" download
|
||||||
# ((DEBUG)) && make_opts+=("-j1") || make_opts+=("-j$(($(nproc)+1))")
|
# ((DEBUG)) && make_opts+=("-j1") || make_opts+=("-j$(($(nproc)+1))")
|
||||||
|
|||||||
Reference in New Issue
Block a user