mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
Nicola Vetrini
16104cde01
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>
55 lines
1.1 KiB
Bash
Executable File
55 lines
1.1 KiB
Bash
Executable File
#!/bin/bash
|
|
# Stop immediately if any executed command has exit status different from 0.
|
|
set -e
|
|
|
|
script_name="$(basename "$0")"
|
|
script_dir="$(
|
|
cd "$(dirname "$0")"
|
|
echo "${PWD}"
|
|
)"
|
|
|
|
fatal() {
|
|
echo "${script_name}: $*" >&2
|
|
exit 1
|
|
}
|
|
|
|
usage() {
|
|
fatal "Usage: ${script_name}"
|
|
}
|
|
|
|
if [ $# -ne 1 ]; then
|
|
usage
|
|
exit 1
|
|
fi
|
|
|
|
export XEN_TARGET_ARCH
|
|
|
|
if [ "$1" = "X86_64" ]; then
|
|
XEN_TARGET_ARCH=x86_64
|
|
elif [ "$1" = "ARM64" ]; then
|
|
XEN_TARGET_ARCH=arm64
|
|
else
|
|
fatal "Unknown configuration: $1"
|
|
fi
|
|
|
|
(
|
|
make -C xen defconfig
|
|
if [[ -n "${EXTRA_XEN_CONFIG}" ]]; then
|
|
echo "${EXTRA_XEN_CONFIG}" >> xen/.config
|
|
fi
|
|
|
|
./configure
|
|
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 -C xen clean
|
|
cd xen
|
|
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
|
|
# Translate function-properties.json into ECLAIR properties
|
|
python3 "${script_dir}/propertyparser.py"
|
|
)
|