Re: [XEN PATCH 2/3] docs: make the docs for MISRA C:2012 Dir 4.1 visible to ECLAIR

[Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>]

On 08/09/2023 13:04, Anthony PERARD wrote:
> On Fri, Sep 01, 2023 at 11:06:39AM +0200, Nicola Vetrini wrote:
> > diff --git a/docs/misra/Makefile b/docs/misra/Makefile
> > new file mode 100644
> > index 000000000000..8ea0505c8a20
> > --- /dev/null
> > +++ b/docs/misra/Makefile
> > @@ -0,0 +1,17 @@
> > +TARGETS := C-runtime-failures.o
> > +
> > +all: $(TARGETS)
> > +
> > +# sed is used in place of cat to prevent occurrences of '*/'
> > +# in the .rst from breaking the compilation
> > +$(TARGETS:.o=.c): %.c: %.rst
> > +       echo "/*\n" > $@.tmp
> This doesn't really works as you expect. Depending on the shell used or
> the echo binary used, the "\n" would write a <new-line> or justs "\n".
> Bash just write "\n" for example, while dash does write a <new-line>.
> But, you can use `printf` instead:
>     printf "/*\n\n" > $@.tmp
>
> > +       sed -e 's|\*/|*//*|g' $< >> $@.tmp
> > +       echo "\n*/" >> $@.tmp
> Same here.
Thanks, I'll fix it in the next version.

--
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)