ci: rename log to vagrant.log.txt

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dea89b009af4af4ffc649bd36cd0da8572297021..6bf3d69db352f932d956b9a20372b6975e641cf7 100644 (file)
--- 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* ||:'