From: Tomas Krizek <tomas.krizek@nic.cz>
Date: Thu, 27 Jun 2019 11:43:41 +0000 (+0200)
Subject: ci: rename log to vagrant.log.txt
X-Git-Tag: v4.1.0~11^2~1
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8c1ceabeec0892c236264546c92243f59d727d92;p=thirdparty%2Fknot-resolver.git

ci: rename log to vagrant.log.txt
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dea89b009..6bf3d69db 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -534,7 +534,7 @@ obs:build:all:
       $(sudo -u respdiff /var/opt/respdiff/contrib/job_manager/create.py
       "$(git rev-parse --short HEAD)" -l $LABEL -t distrotest.$DISTROTEST_NAME)
     - export EXITCODE=$(cat $TESTDIR/j*_exitcode)
-    - if [[ "$EXITCODE" != "0" ]]; then cat $TESTDIR/j*_{vagrant.log,stdout.txt}; fi
+    - if [[ "$EXITCODE" != "0" ]]; then cat $TESTDIR/j*_{vagrant.log.txt,stdout.txt}; fi
     - exit $EXITCODE
   after_script:
     - 'cp -t . distrotest_commitdir/distrotest.$DISTROTEST_NAME/j* ||:'