diff options
| author |  Leo Neat <lneat@google.com> | 2020-03-24 10:04:27 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2020-03-24 10:04:27 -0700 |
| commit | 4c01a56101742036f5bb43428e10260f57673a62 (patch) | |
| tree | b2dcc7e52807f63dbf2b91090cfe8bdea2e93c65 /infra/utils.py | |
| parent | cb09eba1ea4720f08110c9b5f988b80000670da9 (diff) | |
OSSFUZZ to OSS_FUZZ (#3535)
Changing the helper variable OSSFUZZ_DIR name to OSS_FUZZ_DIR as per request in #3516.
Diffstat (limited to 'infra/utils.py')
| -rw-r--r-- | infra/utils.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/infra/utils.py b/infra/utils.py index 468438f4..3d9a620a 100644 --- a/infra/utils.py +++ b/infra/utils.py @@ -29,8 +29,8 @@ VALID_TARGET_NAME = re.compile(r'^[a-zA-Z0-9_-]+$') def chdir_to_root(): """Changes cwd to OSS-Fuzz root directory.""" # Change to oss-fuzz main directory so helper.py runs correctly. - if os.getcwd() != helper.OSSFUZZ_DIR: - os.chdir(helper.OSSFUZZ_DIR) + if os.getcwd() != helper.OSS_FUZZ_DIR: + os.chdir(helper.OSS_FUZZ_DIR) def execute(command, location=None, check_result=False): |