diff options
Diffstat (limited to 'src/scripts/ci/travis/main.sh')
| -rwxr-xr-x | src/scripts/ci/travis/main.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/scripts/ci/travis/main.sh b/src/scripts/ci/travis/main.sh deleted file mode 100755 index ed6f56063..000000000 --- a/src/scripts/ci/travis/main.sh +++ /dev/null @@ -1,11 +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 - "$PARENT_DIR"/build.sh -fi |