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 <andrew.cooper3@citrix.com>
Signed-off-by: Nicola Vetrini <nicola.vetrini@bugseng.com>
Reviewed-by: Denis Mukhin <dmukhin@ford.com>
Acked-by: Andrew Cooper <andrew.cooper3@citrix.com>
This commit is contained in:
Nicola Vetrini authored and Jan Beulich committed 2025-08-12 11:40:28 +02:00
1 parent 7fddedd530
commit 16104cde01
1 file changed
+2 -2
+2 -2
View File
@@ -39,12 +39,12 @@ fi
fi fi
./configure ./configure
make clean make -C xen clean
find . -type f -name "*.safparse" -print -delete find . -type f -name "*.safparse" -print -delete
"${script_dir}/build.sh" "$1" "${script_dir}/build.sh" "$1"
# Generate additional configuration files # Generate additional configuration files
"${script_dir}/ECLAIR/generate_ecl.sh" "${script_dir}/ECLAIR/generate_ecl.sh"
make clean make -C xen clean
cd xen cd xen
make -f "${script_dir}/Makefile.prepare" prepare make -f "${script_dir}/Makefile.prepare" prepare
# Translate the /* SAF-n-safe */ comments into ECLAIR CBTs # Translate the /* SAF-n-safe */ comments into ECLAIR CBTs
Reference in new issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.