diff options
Diffstat (limited to 'scripts/build_plugin.py')
| -rwxr-xr-x | scripts/build_plugin.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/build_plugin.py b/scripts/build_plugin.py index 7ba55ef38d5..16a51efed50 100755 --- a/scripts/build_plugin.py +++ b/scripts/build_plugin.py @@ -56,6 +56,8 @@ def get_arguments(): action='append', dest='config_args', default=[]) parser.add_argument('--with-docs', help='Build and install documentation.', action='store_true', default=False) + parser.add_argument('--add-sanitize-flags', help="Sets flags for sanitizer compilation flags used in Debug builds", + action='append', dest='sanitize_flags', default=[] ) parser.add_argument('--deploy', help='Installs the "Dependencies" component of the plugin.', action='store_true', default=False) parser.add_argument('--build-type', help='Build type to pass to CMake (defaults to RelWithDebInfo)', @@ -110,6 +112,10 @@ def build(args, paths): with open(os.path.join(paths.result, args.name + '.7z.git_sha'), 'w') as f: f.write(ide_revision) + if not args.build_type.lower() == 'release' and args.sanitize_flags: + cmake_args += ['-DWITH_SANITIZE=ON', + '-DSANITIZE_FLAGS=' + ",".join(args.sanitize_flags)] + cmake_args += args.config_args common.check_print_call(cmake_args + [paths.src], paths.build) build_args = ['cmake', '--build', '.'] |
