script/quicklint

#!/usr/bin/env bash

set -e

cd "$(dirname "$0")/.."

set -x

script/ci-custom.py -c
script/lint-python -c
script/lint-cpp -c
[code-quality] More portable shebangs (#7189 ) 2024-08-05 16:15:19 +12:00			`#!/usr/bin/env bash`
Updates for 1.13 (#546 ) 2019-05-12 23:04:36 +02:00
			`set -e`

			`cd "$(dirname "$0")/.."`

			`set -x`

Fix ci-custom.py const.py ordered check and improve code (#1222 ) 2020-07-29 18:19:48 +02:00			`script/ci-custom.py -c`
Updates for 1.13 (#546 ) 2019-05-12 23:04:36 +02:00			`script/lint-python -c`
remote updates 2019-05-13 20:45:22 +02:00			`script/lint-cpp -c`