ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Added Goanna static analysis tool for mbed SDK (-G switch)

pull/207/head
Przemek Wirkus 2014-03-10 17:24:27 +00:00
parent 03bb264af9
commit 8055bca0d6
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
workspace_tools/singletest.py
View File

@ -299,6 +299,12 @@ if __name__ == '__main__':
action="store_true",
help='Run Goanna static analyse tool for tests')
parser.add_option('-G', '--goanna-for-sdk',
dest='goanna_for_mbed_sdk',
metavar=False,
action="store_true",
help='Run Goanna static analyse tool for mbed SDK')
parser.add_option('-s', '--suppress-summary',
dest='suppress_summary',
default=False,
@ -347,7 +353,8 @@ if __name__ == '__main__':
# print '=== %s::%s ===' % (target, toolchain)
# Let's build our test
T = TARGET_MAP[target]
build_mbed_libs(T, toolchain)
build_mbed_libs_options = ["analyze"] if opts.goanna_for_mbed_sdk else None
build_mbed_libs(T, toolchain, options=build_mbed_libs_options)
build_dir = join(BUILD_DIR, "test", target, toolchain)
for test_id, test in TEST_MAP.iteritems():