-
David Bühler authored
[Libc] fix issue with undefined extern; restore GCC test with linking See merge request frama-c/frama-c!2501
eca7b9d1
[Libc] fix issue with undefined extern; restore GCC test with linking See merge request frama-c/frama-c!2501