On 08/09/2023 02:25, Stefano Stabellini wrote:
On Fri, 1 Sep 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
analyze such file.
Signed-off-by: Nicola Vetrini <[email protected]>
---
automation/eclair_analysis/build.sh | 11 ++++++++---
automation/eclair_analysis/prepare.sh | 5 +++--
2 files changed, 11 insertions(+), 5 deletions(-)
diff --git a/automation/eclair_analysis/build.sh
b/automation/eclair_analysis/build.sh
index ec087dd822fa..556ed698bf8b 100755
--- a/automation/eclair_analysis/build.sh
+++ b/automation/eclair_analysis/build.sh
@@ -34,11 +34,16 @@ else
fi
(
- cd xen
-
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}"
+ "XEN_TARGET_ARCH=${XEN_TARGET_ARCH}" \
+ -C docs misra
I don't think you need all these options to generate docs and misra.
Probably it would be sufficient just make -C docs misra
However given that they are not harmful:
Reviewed-by: Stefano Stabellini <[email protected]>
Ok, I'll try it out for the next version, otherwise I'll revert to this
invocation.
--
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)
