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: |
