blob: 2f883af06bd442588b1eeb68359e4bb587148e42 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/bash
set -ev
which shellcheck > /dev/null && shellcheck "$0" # Run shellcheck on this if available
PARENT_DIR=$(dirname "$0")
if [ "$BUILD_MODE" = "lint" ]; then
"$PARENT_DIR"/lint.sh
else
./src/scripts/ci_build.py --build-jobs=2 --with-ccache --os=$TRAVIS_OS_NAME --cc=$CC --cc-bin=$CXX $BUILD_MODE
fi
|