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 c39309737..264d1ea84 100644 --- a/make/configure.py +++ b/make/configure.py @@ -818,7 +818,7 @@ class Project( Action ): suffix = '' 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 ) |