[Makefile] fix sed replacement argument for better compatibility with BSD
initial version of the patch contributed by madroach at https://bts.frama-c.com/view.php?id=2458
Please register or sign in to comment
initial version of the patch contributed by madroach at https://bts.frama-c.com/view.php?id=2458