diff options
Diffstat (limited to 'Tools/scripts/smelly.py')
| -rwxr-xr-x | Tools/scripts/smelly.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Tools/scripts/smelly.py b/Tools/scripts/smelly.py index e8a375c808..fb01660dea 100755 --- a/Tools/scripts/smelly.py +++ b/Tools/scripts/smelly.py @@ -136,11 +136,14 @@ def check_extensions(): def main(): + nsymbol = 0 + # static library LIBRARY = sysconfig.get_config_var('LIBRARY') if not LIBRARY: raise Exception("failed to get LIBRARY variable from sysconfig") - nsymbol = check_library(LIBRARY) + if os.path.exists(LIBRARY): + nsymbol += check_library(LIBRARY) # dynamic library LDLIBRARY = sysconfig.get_config_var('LDLIBRARY') |