diff options
| author | Campbell Barton <ideasman42@gmail.com> | 2013-08-08 05:53:02 +0400 |
|---|---|---|
| committer | Campbell Barton <ideasman42@gmail.com> | 2013-08-08 05:53:02 +0400 |
| commit | 7cb1415530a6e9d531a3f11d3cefb7a9f3f1195d (patch) | |
| tree | e9cad573499f5fe67a19377ce6338c7568aeca0d /build_files/cmake/cmake_static_check_sparse.py | |
| parent | 26c08392208638f5a83871808394c729577538b8 (diff) | |
pass compiler defines such as __FLT_MIN__ to smatch and sparse (they fail without them).
Diffstat (limited to 'build_files/cmake/cmake_static_check_sparse.py')
| -rw-r--r-- | build_files/cmake/cmake_static_check_sparse.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build_files/cmake/cmake_static_check_sparse.py b/build_files/cmake/cmake_static_check_sparse.py index 8a3fb477239..ff6b1af98b7 100644 --- a/build_files/cmake/cmake_static_check_sparse.py +++ b/build_files/cmake/cmake_static_check_sparse.py @@ -42,6 +42,7 @@ USE_QUIET = (os.environ.get("QUIET", None) is not None) def main(): source_info = project_source_info.build_info(use_cxx=False, ignore_prefix_list=CHECKER_IGNORE_PREFIX) + source_defines = project_source_info.build_defines_as_args() check_commands = [] for c, inc_dirs, defs in source_info: @@ -50,7 +51,8 @@ def main(): CHECKER_ARGS + [c] + [("-I%s" % i) for i in inc_dirs] + - [("-D%s" % d) for d in defs] + [("-D%s" % d) for d in defs] + + source_defines ) check_commands.append((c, cmd)) |