diff options
author | Sebastian Rasmussen <sebras@gmail.com> | 2021-03-05 16:31:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-05 07:31:58 -0800 |
commit | 16d66c9da4d2faf5f06a259efa18ae4f94477d3d (patch) | |
tree | 30f778e7d1cc556a8ee2b97ad9ffaea0d76a2be2 | |
parent | c69f3e8a51457c462b512c80b86496ae740d4890 (diff) |
[infra] Avoid adding fuzzing language for shell subcommand. (#5300) (#5301)
-rwxr-xr-x | infra/helper.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/infra/helper.py b/infra/helper.py index 82761210..47b42e66 100755 --- a/infra/helper.py +++ b/infra/helper.py @@ -959,9 +959,11 @@ def shell(args): 'FUZZING_ENGINE=' + args.engine, 'SANITIZER=' + args.sanitizer, 'ARCHITECTURE=' + args.architecture, - 'FUZZING_LANGUAGE=' + _get_project_language(args.project_name), ] + if args.project_name != 'base-runner-debug': + env.append('FUZZING_LANGUAGE=' + _get_project_language(args.project_name)) + if args.e: env += args.e |