diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-01-30 22:01:00 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-01-30 22:01:00 +0300 |
| commit | 587cde749b71d95dc25817366e51c75141e62a36 (patch) | |
| tree | 3cb91ed8bc5ed06ef43ab09c9f73989bca591c04 /tools/ci/jobs/pages.sh | |
| parent | fc3bde73900ae25bb8db9998b614afb1969fbc20 (diff) | |
| download | plus-587cde749b71d95dc25817366e51c75141e62a36.tar.gz plus-587cde749b71d95dc25817366e51c75141e62a36.tar.bz2 plus-587cde749b71d95dc25817366e51c75141e62a36.tar.xz plus-587cde749b71d95dc25817366e51c75141e62a36.zip | |
Save also commit and project url into http://stats.manaplus.org
Diffstat (limited to 'tools/ci/jobs/pages.sh')
| -rwxr-xr-x | tools/ci/jobs/pages.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/ci/jobs/pages.sh b/tools/ci/jobs/pages.sh index 79acc67ff..fa3f992f0 100755 --- a/tools/ci/jobs/pages.sh +++ b/tools/ci/jobs/pages.sh @@ -9,9 +9,13 @@ tools/ci/scripts/retry.sh git clone https://gitlab.com/4144/pagesindexgen.git pa mkdir -p public/docs 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 +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 cd pagesindexgen ./pagesindexgen.py ../public |