#!/bin/env php $bv); }); } $all_sections = array_diff($all_sections, [ '.comment', '.xtensa.info', '.xt.lit', '.xt.prop', '.literal', '.irom0.literal', '.data', ]); $widths = []; foreach($all_sections as $k) { $widths[$k] = max(8, strlen($k)); printf("%".($widths[$k])."s ", $k); } echo "\n";//.str_repeat('-',array_sum($widths))."\n"; foreach ($table as $file => $map) { foreach ($all_sections as $space) { $b = isset($map[$space]) ? $map[$space] : 0; printf("%".$widths[$space]."d ", $b); } echo " $file\n"; }