| Message ID | b766ea02253f76d9aaacf06a1ffba8bab45ca0b8.1693585223.git.nicola.vetrini@bugseng.com (mailing list archive) |
|---|---|
| State | New, archived |
| Headers | show |
| Series | xen: deviate asm-only definitions for Rule 8.4 | expand |
On Fri, 1 Sep 2023, Nicola Vetrini wrote: > This allows local MISRA deviation comments to be translated into > the format recognized by ECLAIR. > > Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com> Acked-by: Stefano Stabellini <sstabellini@kernel.org> > --- > automation/eclair_analysis/prepare.sh | 3 +++ > 1 file changed, 3 insertions(+) > > diff --git a/automation/eclair_analysis/prepare.sh b/automation/eclair_analysis/prepare.sh > index 275a1a3f517c..0cac5eba00ae 100755 > --- a/automation/eclair_analysis/prepare.sh > +++ b/automation/eclair_analysis/prepare.sh > @@ -38,5 +38,8 @@ fi > cd xen > cp "${CONFIG_FILE}" .config > make clean > + find . -type f -name "*.safparse" -print -delete > make -f ${script_dir}/Makefile.prepare prepare > + # Translate the /* SAF-n-safe */ comments into ECLAIR CBTs > + scripts/xen-analysis.py --run-eclair --no-build --no-clean > ) > -- > 2.34.1 >
diff --git a/automation/eclair_analysis/prepare.sh b/automation/eclair_analysis/prepare.sh index 275a1a3f517c..0cac5eba00ae 100755 --- a/automation/eclair_analysis/prepare.sh +++ b/automation/eclair_analysis/prepare.sh @@ -38,5 +38,8 @@ fi cd xen cp "${CONFIG_FILE}" .config make clean + find . -type f -name "*.safparse" -print -delete make -f ${script_dir}/Makefile.prepare prepare + # Translate the /* SAF-n-safe */ comments into ECLAIR CBTs + scripts/xen-analysis.py --run-eclair --no-build --no-clean )
This allows local MISRA deviation comments to be translated into the format recognized by ECLAIR. Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com> --- automation/eclair_analysis/prepare.sh | 3 +++ 1 file changed, 3 insertions(+)