| Message ID | fc8a60f5224f4285f674c83c42cff5b3681c29cd.1692636338.git.nicola.vetrini@bugseng.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | docs/misra: add documentation to address MISRA C:2012 Dir 4.1 | expand |
On Mon, 21 Aug 2023, Nicola Vetrini wrote: > The documentation pertaining Directive 4.1 is contained in docs/misra. > The build script driving the analysis is amended to allow ECLAIR to > find it and thus resolving violations of the directive. > > Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com> Acked-by: Stefano Stabellini <sstabellini@kernel.org> > --- > automation/eclair_analysis/build.sh | 10 ++++++++-- > automation/eclair_analysis/prepare.sh | 1 + > 2 files changed, 9 insertions(+), 2 deletions(-) > > diff --git a/automation/eclair_analysis/build.sh b/automation/eclair_analysis/build.sh > index ec087dd822fa..a0433eedeb4d 100755 > --- a/automation/eclair_analysis/build.sh > +++ b/automation/eclair_analysis/build.sh > @@ -34,8 +34,14 @@ else > fi > > ( > - cd xen > - > + cd docs > + make "-j${PROCESSORS}" "-l${PROCESSORS}.0" \ > + "CROSS_COMPILE=${CROSS_COMPILE}" \ > + "CC=${CROSS_COMPILE}gcc-12" \ > + "CXX=${CROSS_COMPILE}g++-12" \ > + "XEN_TARGET_ARCH=${XEN_TARGET_ARCH}" \ > + misra > + cd ../xen > make "-j${PROCESSORS}" "-l${PROCESSORS}.0" \ > "CROSS_COMPILE=${CROSS_COMPILE}" \ > "CC=${CROSS_COMPILE}gcc-12" \ > diff --git a/automation/eclair_analysis/prepare.sh b/automation/eclair_analysis/prepare.sh > index 275a1a3f517c..10854741790e 100755 > --- a/automation/eclair_analysis/prepare.sh > +++ b/automation/eclair_analysis/prepare.sh > @@ -35,6 +35,7 @@ else > fi > > ( > + ./configure > cd xen > cp "${CONFIG_FILE}" .config > make clean > -- > 2.34.1 >
diff --git a/automation/eclair_analysis/build.sh b/automation/eclair_analysis/build.sh index ec087dd822fa..a0433eedeb4d 100755 --- a/automation/eclair_analysis/build.sh +++ b/automation/eclair_analysis/build.sh @@ -34,8 +34,14 @@ else fi ( - cd xen - + cd docs + make "-j${PROCESSORS}" "-l${PROCESSORS}.0" \ + "CROSS_COMPILE=${CROSS_COMPILE}" \ + "CC=${CROSS_COMPILE}gcc-12" \ + "CXX=${CROSS_COMPILE}g++-12" \ + "XEN_TARGET_ARCH=${XEN_TARGET_ARCH}" \ + misra + cd ../xen make "-j${PROCESSORS}" "-l${PROCESSORS}.0" \ "CROSS_COMPILE=${CROSS_COMPILE}" \ "CC=${CROSS_COMPILE}gcc-12" \ diff --git a/automation/eclair_analysis/prepare.sh b/automation/eclair_analysis/prepare.sh index 275a1a3f517c..10854741790e 100755 --- a/automation/eclair_analysis/prepare.sh +++ b/automation/eclair_analysis/prepare.sh @@ -35,6 +35,7 @@ else fi ( + ./configure cd xen cp "${CONFIG_FILE}" .config make clean
The documentation pertaining Directive 4.1 is contained in docs/misra. The build script driving the analysis is amended to allow ECLAIR to find it and thus resolving violations of the directive. Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com> --- automation/eclair_analysis/build.sh | 10 ++++++++-- automation/eclair_analysis/prepare.sh | 1 + 2 files changed, 9 insertions(+), 2 deletions(-)