From 16104cde015dd6f43e2ea0b70c8023a5fe2d16c0 Mon Sep 17 00:00:00 2001 From: Nicola Vetrini Date: Tue, 12 Aug 2025 09:58:26 +0200 Subject: [PATCH] automation/eclair: restrict clean target to xen The clean target also clears files outside the xen directory, which is not needed for the purposes of running an analysis. No functional change. Reported-by: Andrew Cooper Signed-off-by: Nicola Vetrini Reviewed-by: Denis Mukhin Acked-by: Andrew Cooper --- automation/eclair_analysis/prepare.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/automation/eclair_analysis/prepare.sh b/automation/eclair_analysis/prepare.sh index 4285ff26de..e941e6edc4 100755 --- a/automation/eclair_analysis/prepare.sh +++ b/automation/eclair_analysis/prepare.sh @@ -39,12 +39,12 @@ fi fi ./configure - make clean + make -C xen clean find . -type f -name "*.safparse" -print -delete "${script_dir}/build.sh" "$1" # Generate additional configuration files "${script_dir}/ECLAIR/generate_ecl.sh" - make clean + make -C xen clean cd xen make -f "${script_dir}/Makefile.prepare" prepare # Translate the /* SAF-n-safe */ comments into ECLAIR CBTs