summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorAetias <aetias@outlook.com>2025-03-16 12:33:20 +0100
committerAetias <aetias@outlook.com>2025-03-16 12:33:20 +0100
commit0fd501c68642bb095a490ce15bdf5fee5fa75df2 (patch)
treec9c24fb756002303e74b47d6fb08643541e810d0 /tools
parent96921cb237fef6f45b875532e376213b87ce8fcf (diff)
Add `--fail` flag to `ninja check`
Diffstat (limited to 'tools')
-rwxr-xr-xtools/configure.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/configure.py b/tools/configure.py
index 6989472b..3ae6286c 100755
--- a/tools/configure.py
+++ b/tools/configure.py
@@ -256,13 +256,13 @@ def main():
n.rule(
name="check_modules",
- command=f"{DSD} check modules --config-path $config_path"
+ command=f"{DSD} check modules --config-path $config_path --fail"
)
n.newline()
n.rule(
name="check_symbols",
- command=f"{DSD} check symbols --config-path $config_path --elf-path $elf_path"
+ command=f"{DSD} check symbols --config-path $config_path --elf-path $elf_path --fail"
)
n.newline()