From 01b1291d5490d9909443e898e239a2955b9e2e81 Mon Sep 17 00:00:00 2001 From: Daco Harkes Date: Fri, 8 Sep 2023 15:49:28 +0000 Subject: [PATCH] [tool] generate_idefiles sanitizer argument Change-Id: I6f93fdbce8f4cef6c606e8b43ae9e1e888772292 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/325000 Auto-Submit: Daco Harkes Commit-Queue: Tess Strickland Reviewed-by: Tess Strickland --- tools/generate_idefiles.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tools/generate_idefiles.py b/tools/generate_idefiles.py index 6b68ef44aa7..7ce86aa67c5 100755 --- a/tools/generate_idefiles.py +++ b/tools/generate_idefiles.py @@ -52,7 +52,8 @@ def GenerateCompileCommands(options): out_folder = utils.GetBuildRoot(HOST_OS, mode="debug", arch=options.arch, - target_os=options.os) + target_os=options.os, + sanitizer=options.sanitizer) if not os.path.isdir(out_folder): return 1 @@ -139,6 +140,12 @@ def main(argv): help="Target operating system for runtime sources.", default=HOST_OS) + parser.add_argument('--sanitizer', + type=str, + help='Build variants (comma-separated).', + metavar='[none,asan,lsan,msan,tsan,ubsan]', + default='none') + options = parser.parse_args(argv[1:]) return GenerateIdeFiles(options)