diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-10-13 00:36:29 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-10-13 00:36:29 +0300 |
| commit | efb7eb3a15b3f1b9d269f39b4c71c6993c69b976 (patch) | |
| tree | 8ec95f1daa8aa0cfa9d867fd762c20c10a9e89af /tools/ci | |
| parent | c263944069a71f45998572cdaa0baf4141bd1f5b (diff) | |
| download | mv-efb7eb3a15b3f1b9d269f39b4c71c6993c69b976.tar.gz mv-efb7eb3a15b3f1b9d269f39b4c71c6993c69b976.tar.bz2 mv-efb7eb3a15b3f1b9d269f39b4c71c6993c69b976.tar.xz mv-efb7eb3a15b3f1b9d269f39b4c71c6993c69b976.zip | |
Update script for pages job in ci_site branch.
Diffstat (limited to 'tools/ci')
| -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..33add9314 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 || exit 1 +cp ../logs/gcc-?_SDL2.* ../public/gcov || exit 1 +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 || exit 1 +cp -r ../stats/* ../public/stats || exit 1 |