summaryrefslogtreecommitdiff
path: root/tools/ci
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2016-11-05 16:21:04 +0300
committerAndrei Karas <akaras@inbox.ru>2016-11-05 16:21:04 +0300
commitafae77338c2efe948f87b3de4cdf0340f2c20259 (patch)
treeaa2bac22bb4bfe008144422ad2e17bf60bcb9d5d /tools/ci
parentd69afea917d73ea2e935db2f25a09c1c73a432c1 (diff)
downloadplus-afae77338c2efe948f87b3de4cdf0340f2c20259.tar.gz
plus-afae77338c2efe948f87b3de4cdf0340f2c20259.tar.bz2
plus-afae77338c2efe948f87b3de4cdf0340f2c20259.tar.xz
plus-afae77338c2efe948f87b3de4cdf0340f2c20259.zip
On error in ci scripts copy config.log into logs directory.
Diffstat (limited to 'tools/ci')
-rwxr-xr-xtools/ci/scripts/init.sh1
1 files changed, 1 insertions, 0 deletions
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