diff options
-rwxr-xr-x | tools/btools.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/btools.py b/tools/btools.py index 65bdac46fbf..6d16aeb4cdb 100755 --- a/tools/btools.py +++ b/tools/btools.py @@ -59,7 +59,7 @@ def validate_arguments(args, bc): 'C_WARN', 'CC_WARN', 'CXX_WARN', 'LLIBS', 'PLATFORM_LINKFLAGS', 'LCGDIR', - 'BF_CXX', 'WITH_BF_STATICCXX', 'BF_CXX_LIB_STATIC' + 'BF_CXX', 'WITH_BF_STATICCXX', 'BF_CXX_LIB_STATIC', 'WITH_BF_VERSE', 'BF_VERSE_INCLUDE', 'VERSE_BUILD_BINARY', 'VERSE_BUILD_DIR', 'VERSE_REGEN_PROTO', 'BF_TWEAK_MODE', 'BF_SPLIT_SRC', |