diff options
| -rwxr-xr-x | Meta/lint-ci.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Meta/lint-ci.sh b/Meta/lint-ci.sh new file mode 100755 index 0000000000..b5b3887515 --- /dev/null +++ b/Meta/lint-ci.sh @@ -0,0 +1,22 @@ +#!/bin/bash + +set -e + +script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P) +cd "${script_path}/.." || exit 1 + +for cmd in \ + Meta/check-style.sh \ + Meta/lint-executable-resources.sh \ + Meta/lint-ipc-ids.sh \ + Meta/lint-shell-scripts.sh ; do + echo "Running $cmd" + "$cmd" + echo "$cmd successful" +done + +echo "Running Meta/lint-clang-format.sh" +Meta/lint-clang-format.sh --overwrite-inplace && git diff --exit-code +echo "Meta/lint-clang-format.sh successful" +echo "(Not running lint-missing-resources.sh due to high false-positive rate.)" +echo "(Also look out for check-symbols.sh, which can only be executed after the build!)" |