Swiftdiff options
| -rwxr-xr-x | BuildTools/scons2ninja.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/BuildTools/scons2ninja.py b/BuildTools/scons2ninja.py index 1089537..df4c655 100755 --- a/BuildTools/scons2ninja.py +++ b/BuildTools/scons2ninja.py @@ -590,12 +590,14 @@ for line in build_lines : outdir, flags = extract_binary_flag("-o", flags) basename, flags = extract_binary_flag("--basename", flags) ninja.build(os.path.join(outdir, basename + ".h"), 'sdef', [source], basename = basename, outdir = outdir) + elif tool == 'checker': + pass elif not ninja_custom_command(ninja, line) : raise Exception("Unknown tool: '" + line + "'") # Phony target for all generated headers, used as an order-only depency from all C/C++ sources |