Searched refs:old_config_file (Results 1 – 1 of 1) sorted by relevance
177 local old_config_file178 old_config_file="${FLAGS_save_config}.$kernel_index"179 echo "Saving $name config to $old_config_file"180 echo "$kernel_config" > "$old_config_file"