diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-10-12 22:00:14 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-10-12 22:00:14 +0300 |
| commit | b27f925f07170351b8e5f2c297e556222ba4d5e4 (patch) | |
| tree | b4cffa3439b14ae01ecb3335e680d8c460b474cf /tools/ci/jobs/pages.sh | |
| parent | aa3f63fd497558a02feb3ddbc44f31eac091f39b (diff) | |
| download | mv-b27f925f07170351b8e5f2c297e556222ba4d5e4.tar.gz mv-b27f925f07170351b8e5f2c297e556222ba4d5e4.tar.bz2 mv-b27f925f07170351b8e5f2c297e556222ba4d5e4.tar.xz mv-b27f925f07170351b8e5f2c297e556222ba4d5e4.zip | |
Add stats site related builds.
Diffstat (limited to 'tools/ci/jobs/pages.sh')
| -rwxr-xr-x | tools/ci/jobs/pages.sh | 25 |
1 files changed, 12 insertions, 13 deletions
diff --git a/tools/ci/jobs/pages.sh b/tools/ci/jobs/pages.sh index 5748a575c..9975edaa2 100755 --- a/tools/ci/jobs/pages.sh +++ b/tools/ci/jobs/pages.sh @@ -6,22 +6,21 @@ source ./tools/ci/scripts/init.sh tools/ci/scripts/retry.sh git clone https://gitlab.com/4144/pagesindexgen.git pagesindexgen -mkdir -p public/docs -mkdir -p public/stats -mkdir -p public/gcov -mkdir -p public/version +mkdir -p ../public/docs +mkdir -p ../public/stats +mkdir -p ../public/gcov +mkdir -p ../public/version -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 +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 cd pagesindexgen -./pagesindexgen.py ../public +./pagesindexgen.py ../../public check_error $? cd .. -cp -r doxygen/html/* public/docs -cp -r stats/* public/stats - +cp -r doxygen/html/* ../public/docs +cp -r stats/* ../public/stats |