From 3cd39097f6a089d930889fe31937a53b36e7515b Mon Sep 17 00:00:00 2001 From: Ben Wiederhake Date: Tue, 3 Nov 2020 20:11:48 +0100 Subject: [PATCH] Meta: Add script that runs all lints --- Meta/lint-ci.sh | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100755 Meta/lint-ci.sh 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!)"