Searched refs:new_kernel_config_file (Results 1 – 1 of 1) sorted by relevance
205 local new_kernel_config_file="$(make_temp_file)"206 echo -n "$kernel_config" >"$new_kernel_config_file"213 --config "$new_kernel_config_file" \