diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/scripts/cleanup.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/cleanup.py b/src/scripts/cleanup.py index ae2f588f5..6dc7d2408 100755 --- a/src/scripts/cleanup.py +++ b/src/scripts/cleanup.py @@ -109,7 +109,7 @@ def main(args=None): remove_file(build_config['test_exe']) lib_basename = build_config['lib_prefix'] + build_config['libname'] - matches_libname = re.compile('^' + lib_basename + '.([a-z]+)') + matches_libname = re.compile('^' + lib_basename + '.([a-z]+)((\\.[0-9\\.]+)|$)') known_suffix = ['a', 'so', 'dll', 'manifest', 'exp'] |