diff options
| author | Andrei Karas <akaras@inbox.ru> | 2018-06-18 07:57:17 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2018-06-18 08:00:01 +0300 |
| commit | 27d78b81bc7e5c7f17389e3ed8f1dc8eab0cf4ee (patch) | |
| tree | 188bde0f43a2e80207752ba501952ecb49977b49 /tools/ci/jobs/pages.sh | |
| parent | 74701b17fc28be2a9d293760dcb0935d4d45a006 (diff) | |
| download | plus-27d78b81bc7e5c7f17389e3ed8f1dc8eab0cf4ee.tar.gz plus-27d78b81bc7e5c7f17389e3ed8f1dc8eab0cf4ee.tar.bz2 plus-27d78b81bc7e5c7f17389e3ed8f1dc8eab0cf4ee.tar.xz plus-27d78b81bc7e5c7f17389e3ed8f1dc8eab0cf4ee.zip | |
Add gitstatsh ci script for git stats [ci skip]
Diffstat (limited to 'tools/ci/jobs/pages.sh')
| -rwxr-xr-x | tools/ci/jobs/pages.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci/jobs/pages.sh b/tools/ci/jobs/pages.sh index 720a3f917..756b1c07d 100755 --- a/tools/ci/jobs/pages.sh +++ b/tools/ci/jobs/pages.sh @@ -8,6 +8,7 @@ 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/stats2 mkdir -p ../public/gcov mkdir -p ../public/version @@ -25,3 +26,4 @@ check_error $? cd .. cp -r ./doxygen/html/* ../public/docs || exit 1 cp -r ./stats/* ../public/stats || exit 1 +cp -r ./stats2/* ../public/stats2 || exit 1 |