Add a check on API revisions

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()