diff 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 @@ -593,6 +593,8 @@ for line in build_lines : basename = basename, outdir = outdir) + elif tool == 'checker': + pass elif not ninja_custom_command(ninja, line) : raise Exception("Unknown tool: '" + line + "'") |