From 8c1ceabeec0892c236264546c92243f59d727d92 Mon Sep 17 00:00:00 2001
From: Tomas Krizek <tomas.krizek@nic.cz>
Date: Thu, 27 Jun 2019 13:43:41 +0200
Subject: [PATCH] ci: rename log to vagrant.log.txt

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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* ||:'
-- 
2.47.2