diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/pages.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci/jobs/pages.sh b/tools/ci/jobs/pages.sh index fa3f992f0..5748a575c 100755 --- a/tools/ci/jobs/pages.sh +++ b/tools/ci/jobs/pages.sh @@ -11,8 +11,8 @@ mkdir -p public/stats mkdir -p public/gcov mkdir -p public/version -cp logs/gcc-6.* public/gcov -cp logs/gcc-6_SDL2.* public/gcov +cp logs/gcc-?.* public/gcov +cp logs/gcc-?_SDL2.* public/gcov echo "Url: $CI_PROJECT_URL" >public/version/commit.txt echo "Ref name: $CI_BUILD_REF_NAME" >>public/version/commit.txt echo "Ref: $CI_BUILD_REF" >>public/version/commit.txt |