summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRangi <35663410+Rangi42@users.noreply.github.com>2018-07-22 23:38:09 -0400
committerGitHub <noreply@github.com>2018-07-22 23:38:09 -0400
commit5ba5a7df46822d4e95061583e3497744c6e48e50 (patch)
tree3aa8233ddc533e6ab381f9578c5f79c4518760bc
parent8aebc7ba56746b19d3338ab548ad0ab59d2012aa (diff)
parente90857dea1cb25cbb58ac68896158e4674110522 (diff)
Merge pull request #543 from Rangi42/master
Add tools/free_space.awk
-rw-r--r--tools/free_space.awk13
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/free_space.awk b/tools/free_space.awk
new file mode 100644
index 000000000..1f2b04415
--- /dev/null
+++ b/tools/free_space.awk
@@ -0,0 +1,13 @@
+#!/usr/bin/awk -f
+
+# Usage: tools/free_space.awk pokecrystal.map
+
+BEGIN {
+ total = free = 16384 * 128
+}
+/^ SECTION: \$[0-7]/ {
+ free -= strtonum("0x" substr($3, 3))
+}
+END {
+ printf "Free space: %d/%d (%.2f%%)\n", free, total, free * 100 / total
+}