default_pre_build &&
cd "${SOURCE_DIRECTORY}/tools/qemu-xen-traditional" &&
patch -p1 < "$SPELL_DIRECTORY/xsa133-qemut.patch" &&

cd "${SOURCE_DIRECTORY}/tools/qemu-xen" &&

if [[ $XEN_BRANCH == "4.2" ]]; then
  patch -p1 < "$SPELL_DIRECTORY/xsa133-qemuu-4.3-4.2.patch"
else
  patch -p1 < "$SPELL_DIRECTORY/xsa133-qemuu.patch"
fi &&

cd "${SOURCE_DIRECTORY}" &&

patch -p0 < "$SPELL_DIRECTORY/prefix.patch" &&

if [[ $XEN_UPINIT != y ]]; then
  sedit "s:all install-initd:all:" tools/hotplug/Linux/Makefile
fi
