aboutsummaryrefslogtreecommitdiffstats
path: root/configure.py
diff options
context:
space:
mode:
Diffstat (limited to 'configure.py')
-rwxr-xr-xconfigure.py5
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()