2019-07-08 20:50:59 -05:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
./formatcode.sh
|
|
|
|
|
if ! ./CI/check-format.sh; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
2017-02-25 10:49:16 +02:00
|
|
|
|
2019-07-08 20:50:59 -05:00
|
|
|
set -ex
|
2017-02-27 12:10:39 +02:00
|
|
|
ccache -s || echo "CCache is not available."
|
2017-02-25 10:49:16 +02:00
|
|
|
mkdir build && cd build
|
2019-10-07 21:08:00 +01:00
|
|
|
cmake -DBUILD_CAPTIONS=ON ..
|