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