diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/configure.py b/make/configure.py index 9580bfbb1..a12d380c6 100644 --- a/make/configure.py +++ b/make/configure.py @@ -630,7 +630,7 @@ class RepoProbe( ShellProbe ): if self.uuid == 'b64f7644-9d1e-0410-96f1-a4d463321fa5': self.official = 1 m = re.match( '([^:]+)://([^/]+)/(.+)', self.url ) - if m and re.match( 'tags/', m.group( 3 )): + if m and re.match( '.*tags/.*', m.group( 3 )): self.type = 'release' else: self.type = 'developer' |