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"