diff options
author | Andrew Cooper <andrew.cooper3@citrix.com> | 2022-10-26 13:39:06 +0100 |
---|---|---|
committer | Stefano Stabellini <stefano.stabellini@amd.com> | 2022-10-26 12:18:54 -0700 |
commit | bad4832710c7261fad1abe2d0e8e2e1d259b3e8d (patch) | |
tree | d2e4d8369154d0aa78565fe1c1899c37b4fa2cd2 /scripts | |
parent | 26bf76b48bbce3e7b126290374c64966dca47561 (diff) | |
download | xen-bad4832710c7261fad1abe2d0e8e2e1d259b3e8d.tar.gz |
CI: Drop more TravisCI remnants
This was missed from previous attempts to remove Travis.
Fixes: e0dc9b095e7c ("CI: Drop TravisCI")
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
Release-acked-by: Henry Wang <Henry.Wang@arm.com>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/travis-build | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/scripts/travis-build b/scripts/travis-build deleted file mode 100755 index 84d74266a0..0000000000 --- a/scripts/travis-build +++ /dev/null @@ -1,32 +0,0 @@ -#!/bin/bash -ex - -$CC --version - -# random config or default config -if [[ "${RANDCONFIG}" == "y" ]]; then - make -C xen KCONFIG_ALLCONFIG=tools/kconfig/allrandom.config randconfig -else - make -C xen defconfig -fi - -# build up our configure options -cfgargs=() -cfgargs+=("--disable-stubdom") # more work needed into building this -cfgargs+=("--disable-rombios") -cfgargs+=("--enable-docs") -cfgargs+=("--with-system-seabios=/usr/share/seabios/bios.bin") - -# Qemu requires Python 3.5 or later -if ! type python3 || python3 -c "import sys; res = sys.version_info < (3, 5); exit(not(res))"; then - cfgargs+=("--with-system-qemu=/bin/false") -fi - -if [[ "${XEN_TARGET_ARCH}" == "x86_64" ]]; then - cfgargs+=("--enable-tools") -else - cfgargs+=("--disable-tools") # we don't have the cross depends installed -fi - -./configure "${cfgargs[@]}" - -make dist |