Hi Mark,
O, this surprises me. I wasn't aware binutils strip keeps unallocated sections by default. But apparently it does. It doesn't seem specific to ".ctf". Do you know why? This seems counter to how strip is supposed to behave, at least how I understand it.
Actually thinking about it, there are a few important un-allocated sections that ought to be kept in a binary. For example .gnu_debuglink and .shstrtab. So maybe deleting unallocated sections by default is not such a good idea. Cheers Nick
