diff options
-rwxr-xr-x | scripts/bloat-o-meter | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/bloat-o-meter b/scripts/bloat-o-meter index 67b3d290d..f6608afb8 100755 --- a/scripts/bloat-o-meter +++ b/scripts/bloat-o-meter | |||
@@ -13,6 +13,11 @@ if len(sys.argv) != 3: | |||
13 | sys.stderr.write("usage: %s file1 file2\n" % sys.argv[0]) | 13 | sys.stderr.write("usage: %s file1 file2\n" % sys.argv[0]) |
14 | sys.exit(-1) | 14 | sys.exit(-1) |
15 | 15 | ||
16 | for f in sys.argv[1], sys.argv[2]: | ||
17 | if not os.path.exists(f): | ||
18 | sys.stderr.write("Error: file '%s' does not exist\n" % f) | ||
19 | sys.exit(-1) | ||
20 | |||
16 | def getsizes(file): | 21 | def getsizes(file): |
17 | sym = {} | 22 | sym = {} |
18 | for l in os.popen("nm --size-sort " + file).readlines(): | 23 | for l in os.popen("nm --size-sort " + file).readlines(): |