diff options
-rw-r--r-- | scripts/lib/ptxd_make_world_kconfig.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_make_world_kconfig.sh b/scripts/lib/ptxd_make_world_kconfig.sh index 8e387e0e4..520051916 100644 --- a/scripts/lib/ptxd_make_world_kconfig.sh +++ b/scripts/lib/ptxd_make_world_kconfig.sh @@ -24,6 +24,13 @@ ptxd_make_kconfig_setup() { ptxd_normalize_config && ptxd_kconfig_setup_config "${ptx_config_mode}" "${pkg_build_dir}/.config" \ "${relative_file_dotconfig}" "${file_dotconfig}" "${relative_ref_file_dotconfig}" + if [ ${?} -ne 0 ]; then + if [ ! -e "${file_dotconfig}" ]; then + ptxd_bailout "Config file '$(ptxd_print_path "${file_dotconfig}")' is missing!" + else + ptxd_bailout "Failed to initialize '$(ptxd_print_path ${file_dotconfig})'" + fi + fi } export -f ptxd_make_kconfig_setup |