From 2419f1a689dab4e2cf3f0149de38b0bcce98719f Mon Sep 17 00:00:00 2001 From: Serge Rehbinder Date: Fri, 16 Sep 2016 09:44:27 +0200 Subject: [PATCH] correctly manage the case Where there is no install directory after compilation --- commands/compile.py | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/commands/compile.py b/commands/compile.py index 46047de..e659414 100644 --- a/commands/compile.py +++ b/commands/compile.py @@ -444,10 +444,19 @@ def compile_product(sat, p_name_info, config, options, logger, header, len_end): if res_mi > 0: error_step = "MAKE INSTALL" + + # Check that the install directory exists + if not(os.path.exists(p_info.install_dir)): + res = 1 + error_step = "NO INSTALL DIR" + msg = _("Error: despite the fact that all the steps ended successfully," + " no install directory was found !") + logger.write(src.printcolors.printcError(msg), 4) + logger.write("\n", 4) # Add the config file corresponding to the dependencies/versions of the # product that have been successfully compiled - if res==0: + if res==0: logger.write(_("Add the config file in installation directory\n"), 5) add_compile_config_file(p_info, config) -- 2.39.2