| |
| from __future__ import print_function, division |
| import os |
| import sys |
|
|
| |
| |
| |
| |
|
|
| if len(sys.argv) != 3: |
| sys.exit("Invalid arguments: usage: python libsize.py file.so save.txt") |
|
|
| lib = sys.argv[1] |
| save = sys.argv[2] |
|
|
| if not os.path.exists(lib): |
| sys.exit("Error: requested file ({}) does not exist".format(lib)) |
|
|
| libsize = os.path.getsize(lib) |
|
|
| print("------", os.path.basename(lib), "file size:", libsize, end='') |
|
|
| if os.path.exists(save): |
| with open(save) as sf: |
| oldsize = int(sf.readline()) |
|
|
| if oldsize > 0: |
| change = libsize - oldsize |
| if change == 0: |
| print(" (no change)") |
| else: |
| print(" (change of {:+} bytes = {:+.2%})".format(change, change / oldsize)) |
| else: |
| print() |
|
|
| with open(save, 'w') as sf: |
| sf.write(str(libsize)) |
|
|