2023-07-05 05:43:25 -07:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
echo "Building $(git log -1)"
|
|
|
|
|
echo "---"
|
|
|
|
|
|
|
|
|
|
COMMIT=$(git rev-parse --short HEAD)
|
|
|
|
|
|
|
|
|
|
set -Eeuxo pipefail
|
|
|
|
|
|
|
|
|
|
./autogen.sh
|
|
|
|
|
rm -fr build
|
|
|
|
|
mkdir build
|
|
|
|
|
cd build
|
2023-08-29 13:55:56 -07:00
|
|
|
../configure --enable-demos && make -j$(nproc) && make -j$(nproc) crosstest && make -j$(nproc) check || touch ../pipeline_failed
|
2023-07-05 05:43:25 -07:00
|
|
|
|
|
|
|
|
mkdir -p ../artifacts/$COMMIT
|
2023-08-29 13:55:56 -07:00
|
|
|
rsync -Rr doc/* tests/*.exe test-suite.log tests/*.log tests/*/*.log ../artifacts/$COMMIT
|
2023-07-05 05:43:25 -07:00
|
|
|
|
|
|
|
|
git reset --hard
|
