From afae77338c2efe948f87b3de4cdf0340f2c20259 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Sat, 5 Nov 2016 16:21:04 +0300
Subject: On error in ci scripts copy config.log into logs directory.

---
 tools/ci/scripts/init.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools')

diff --git a/tools/ci/scripts/init.sh b/tools/ci/scripts/init.sh
index 748205c32..c82d248d9 100755
--- a/tools/ci/scripts/init.sh
+++ b/tools/ci/scripts/init.sh
@@ -139,6 +139,7 @@ function gitclone {
 
 function check_error {
     if [ "$1" != 0 ]; then
+        cp config.log logs
         cat $ERRFILE
         exit $1
     fi
-- 
cgit v1.2.3-70-g09d2