summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2017-01-30 22:01:00 +0300
committerAndrei Karas <akaras@inbox.ru>2017-01-30 22:01:00 +0300
commit587cde749b71d95dc25817366e51c75141e62a36 (patch)
tree3cb91ed8bc5ed06ef43ab09c9f73989bca591c04
parentfc3bde73900ae25bb8db9998b614afb1969fbc20 (diff)
downloadplus-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
-rwxr-xr-xtools/ci/jobs/pages.sh4
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