Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
Makefile.generating
Find file
Blame
History
Permalink
[Makefile] fix sed replacement argument for better compatibility with BSD
· 46c25efe
Virgile Prevosto
authored
Jun 20, 2019
initial version of the patch contributed by madroach at
https://bts.frama-c.com/view.php?id=2458
46c25efe