diff options
Diffstat (limited to 'repo')
-rwxr-xr-x | repo | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -622,7 +622,7 @@ def get_gitc_manifest_dir(): | |||
622 | if _gitc_manifest_dir is None: | 622 | if _gitc_manifest_dir is None: |
623 | _gitc_manifest_dir = "" | 623 | _gitc_manifest_dir = "" |
624 | try: | 624 | try: |
625 | with open(GITC_CONFIG_FILE, "r") as gitc_config: | 625 | with open(GITC_CONFIG_FILE) as gitc_config: |
626 | for line in gitc_config: | 626 | for line in gitc_config: |
627 | match = re.match("gitc_dir=(?P<gitc_manifest_dir>.*)", line) | 627 | match = re.match("gitc_dir=(?P<gitc_manifest_dir>.*)", line) |
628 | if match: | 628 | if match: |