blob: 79acc67ff33d0c33b864c5fd84b19639d9f9cde9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/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
cp logs/gcc-6.* public/gcov
cp logs/gcc-6_SDL2.* public/gcov
cd pagesindexgen
./pagesindexgen.py ../public
check_error $?
cd ..
cp -r doxygen/html/* public/docs
cp -r stats/* public/stats
|
