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: sys.stderr.write("usage: %s file1 file2\n" % sys.argv[0]) sys.exit(-1) +for f in sys.argv[1], sys.argv[2]: + if not os.path.exists(f): + sys.stderr.write("Error: file '%s' does not exist\n" % f) + sys.exit(-1) + def getsizes(file): sym = {} for l in os.popen("nm --size-sort " + file).readlines(): |