2019-09-22 21:19:10 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
./formatcode.sh
|
|
|
|
|
if ! ./CI/check-format.sh; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
2017-04-19 19:54:15 +00:00
|
|
|
|
2019-09-22 21:19:10 +00:00
|
|
|
set -ex
|
2017-06-29 19:01:10 +00:00
|
|
|
ccache -s || echo "CCache is not available."
|
2017-04-19 19:54:15 +00:00
|
|
|
mkdir build && cd build
|
|
|
|
|
cmake ..
|
