New file.

Rev: src/nettle/list-obj-sizes.awk:1.1

src/nettle/list-obj-sizes.awk

+#! /usr/bin/gawk -f
+
+# Run this filter on the output of
+#
+#   objdump -h libnettle.a
+
+BEGIN {
+    print "file            text-size  data-size  rodata-size";
+    text_total = 0;
+    data_total = 0;
+    rodata_total = 0;
+}
+
+/elf32/ { name = $1; text_size = data_size = rodata_size = 0;  }
+/\.text/ { text_size = $3 }
+/\.data/ { data_size = $3; }
+/\.rodata/ { rodata_size = $3; }
+/\.comment/ {
+    printf "%15s %s   %s   %s\n", name, text_size, data_size, rodata_size;
+}
+
+END {
+  printf "%15s %s   %s   %s\n", "TOTAL", text_total, data_total, rodata_total;
+}
+