diff --git a/support/scripts/size-stats b/support/scripts/size-stats index e4389e99b5..79c0dc571e 100755 --- a/support/scripts/size-stats +++ b/support/scripts/size-stats @@ -54,6 +54,9 @@ class Config: # pkg: package to which the file belongs # def add_file(filesdict, relpath, abspath, pkg): + if relpath.endswith(".py"): + # also check for compiled .pyc file + add_file(filesdict, relpath + "c", abspath + "c", pkg) if not os.path.exists(abspath): return if os.path.islink(abspath):