blob: 720a3f917ff27d42223b177f0042cdc9c06a2c27 (
plain) (
tree)
|
|
#!/bin/bash
export LOGFILE=pages.log
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
cp ./logs/gcc-?.* ../public/gcov || exit 1
cp ./logs/gcc-?_SDL2.* ../public/gcov || exit 1
echo date >../public/version/commit.txt
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
check_error $?
cd ..
cp -r ./doxygen/html/* ../public/docs || exit 1
cp -r ./stats/* ../public/stats || exit 1
|
