diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-07-01 13:24:58 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-07-01 13:24:58 +0000 |
| commit | 1b306c26ade71504511d2fa75b03dfaee77f9620 (patch) | |
| tree | 2c4c77af2ba9632c24ebf216b9a39989d74f5725 /scripts/Xcode/repo.py | |
| parent | fdea456ad833fbab0d3a296a58250950f11a498c (diff) | |
Notes
Diffstat (limited to 'scripts/Xcode/repo.py')
| -rw-r--r-- | scripts/Xcode/repo.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/Xcode/repo.py b/scripts/Xcode/repo.py index 7623c503ba9f8..2657b6eb0c4e3 100644 --- a/scripts/Xcode/repo.py +++ b/scripts/Xcode/repo.py @@ -21,6 +21,17 @@ def identifier(): pass return None +def get_override(): + dir = os.path.dirname(os.path.realpath(__file__)) + repos_dir = os.path.join(dir, "repos") + json_regex = re.compile(r"^.*.json$") + override_path = os.path.join(repos_dir, "OVERRIDE") + if os.path.isfile(override_path): + override_set = json.load(open(override_path)) + return override_set["repos"] + else: + return None + def find(identifier): dir = os.path.dirname(os.path.realpath(__file__)) repos_dir = os.path.join(dir, "repos") |