diff options
Diffstat (limited to 'src/scripts/ci/travis/main.sh')
| -rwxr-xr-x | src/scripts/ci/travis/main.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/scripts/ci/travis/main.sh b/src/scripts/ci/travis/main.sh deleted file mode 100755 index 2f883af06..000000000 --- a/src/scripts/ci/travis/main.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/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 |