Revert "Do not print cfi_sections for bsd."

AbsInt / CompCert

The CompCert formally-verified C compiler

https://compcert.org

Other

1.88k stars 228 forks source link

Closed brad0 closed 1 year ago

brad0 commented 1 year ago

0af96302ae861e35c7e2dace1182e30be0b67851

FreeBSD / OpenBSD no longer use ancient binutils assembler.

xavierleroy commented 1 year ago

Thanks for pointing this out.