Don't generate C code for extern functions that are never called - #1440

Don't generate C code for extern functions that are never called#1440

Alasdair merged 1 commit into

rems-project:sail2rems-project/sail:sail2from

Timmmm:user/timh/dont_codegen_extern_cTimmmm/sail:user/timh/dont_codegen_extern_cCopy head branch name to clipboard