diff options
Diffstat (limited to 'Meta/lint-ci.sh')
-rwxr-xr-x | Meta/lint-ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Meta/lint-ci.sh b/Meta/lint-ci.sh index b5b3887515..8b2cb76756 100755 --- a/Meta/lint-ci.sh +++ b/Meta/lint-ci.sh @@ -6,6 +6,7 @@ script_path=$(cd -P -- "$(dirname -- "$0")" && pwd -P) cd "${script_path}/.." || exit 1 for cmd in \ + Meta/check-debug-flags.sh \ Meta/check-style.sh \ Meta/lint-executable-resources.sh \ Meta/lint-ipc-ids.sh \ |