diff options
| -rwxr-xr-x | configure.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 2bb2f036b..31adeb5e4 100755 --- a/configure.py +++ b/configure.py @@ -516,7 +516,10 @@ def lex_me_harder(infofile, to_obj, allowed_groups, name_val_pairs): # Dirty hack if token == 'define': - to_obj.__dict__[token].append(lexer.get_token()) + nxt = lexer.get_token() + if not re.match('[0-9]{8}', nxt): + raise LexerError('Bad API rev "%s"' % (nxt), lexer.lineno) + to_obj.__dict__[token].append(nxt) else: to_obj.__dict__[token] = lexer.get_token() |