sat #8594 : extension des logs de sat log --last_compile au make check

diff --git a/src/compilation.py b/src/compilation.py
index f8a06303c37ee0cedbcb854a12b0c2c93f085ae2..4da9566e68f24b437560f944f8b7c58808ebe2ff 100644 (file)
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -323,6 +323,7 @@ CC=\\"hack_libtool\\"%g" libtool'''
             cmd = command
         
         self.log_command(cmd)
+        self.log_command("For more detailed logs, see test logs in %s" % self.build_dir)
 
         res = subprocess.call(cmd,
                               shell=True,
@@ -331,6 +332,7 @@ CC=\\"hack_libtool\\"%g" libtool'''
                               stdout=self.logger.logTxtFile,
                               stderr=subprocess.STDOUT)
 
+        self.put_txt_log_in_appli_log_dir("makecheck")
         if res == 0:
             return res
         else: