diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci/jobs/pages.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/ci/jobs/pages.sh b/tools/ci/jobs/pages.sh index 9975edaa2..33add9314 100755 --- a/tools/ci/jobs/pages.sh +++ b/tools/ci/jobs/pages.sh @@ -11,8 +11,8 @@ mkdir -p ../public/stats mkdir -p ../public/gcov mkdir -p ../public/version -cp logs/gcc-?.* ../public/gcov -cp logs/gcc-?_SDL2.* ../public/gcov +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 @@ -22,5 +22,5 @@ cd pagesindexgen 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 |