Load the optimize functions even if optimize=0

wrt_makeflags is needed to pass NINJAJOBS=1 in this case.
This commit is contained in:
Pierre Labastie 2022-05-07 20:40:27 +02:00
parent d3dbebe625
commit f32cd505a8

4
jhalfs
View file

@ -281,8 +281,10 @@ if [[ "$SAVE_CH5" = "y" ]]; then
fi fi
# #
# optimize module # optimize module
if [[ "$OPTIMIZE" != "0" ]]; then # the optimize_functions file is needed for wrt_makeflags even
# if optimize=0, because we need to pass NINJAJOBS=1
load_file optimize/optimize_functions 'Loading optimization module' load_file optimize/optimize_functions 'Loading optimization module'
if [[ "$OPTIMIZE" != "0" ]]; then
# #
# optimize configurations # optimize configurations
load_file optimize/opt_config 'Loading optimization config' load_file optimize/opt_config 'Loading optimization config'