diff options
| author | John Stebbins <[email protected]> | 2015-08-25 14:26:59 -0700 |
|---|---|---|
| committer | John Stebbins <[email protected]> | 2015-08-25 14:26:59 -0700 |
| commit | 9d0a09a7429676785afc89ac565892f2ed9bfb3a (patch) | |
| tree | 6ba7a07757b677e6b07104682c4ec774ff0b96ab /make | |
| parent | 4889bc95883dd2cb0eb679d381d15385b930bcfa (diff) | |
build: fix errors in last commit
Thanks BradleyS
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 7976a03c5..ecb2816b0 100644 --- a/make/configure.py +++ b/make/configure.py @@ -797,7 +797,7 @@ class Project( Action ): url_arch = '' if repo.tag != '': - m = re.match( '([0-9]+)\.([0-9]+)\.([0-9]+)', repo.tag ) + m = re.match( '^([0-9]+)\.([0-9]+)\.([0-9]+)$', repo.tag ) if not m: cfg.errln( 'Invalid repo tag format %s\n', repo.tag ) sys.exit( 1 ) |