diff options
| -rwxr-xr-x | ci/before_script.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/ci/before_script.sh b/ci/before_script.sh index 1759dbe942..8bab1c4e17 100755 --- a/ci/before_script.sh +++ b/ci/before_script.sh @@ -3,10 +3,6 @@ set -e set -o pipefail -if [[ "${CI_TARGET}" == lint ]]; then - exit -fi - CI_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" source "${CI_DIR}/common/build.sh" |