diff options
author | Jack Lloyd <[email protected]> | 2018-09-04 02:11:26 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-09-04 10:18:22 -0400 |
commit | 28fed4f734a02d2d181773832ce7138ae637d749 (patch) | |
tree | 27f809aa7ea5f20ff4fff3e5c29a963c5e36da42 /configure.py | |
parent | 96ff9f19cf5baf2fe05ebf8456939d6dda555e2c (diff) |
Tighten check of feature datestamps
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index b03802e56..21b1f8f1a 100755 --- a/configure.py +++ b/configure.py @@ -854,7 +854,7 @@ class ModuleInfo(InfoObject): for key, value in defines.items(): if not re.match('^[0-9A-Za-z_]{3,30}$', key): raise InternalError('Module defines key has invalid format: "%s"' % key) - if not re.match('^[0-9]{8}$', value): + if not re.match('^20[0-9]{6}$', value): raise InternalError('Module defines value has invalid format: "%s"' % value) def cross_check(self, arch_info, cc_info, all_os_features): |