[xen master] CI: Drop more TravisCI remnants

[patchbot@xxxxxxx]

commit bad4832710c7261fad1abe2d0e8e2e1d259b3e8d
Author:     Andrew Cooper <andrew.cooper3@xxxxxxxxxx>
AuthorDate: Wed Oct 26 13:39:06 2022 +0100
Commit:     Stefano Stabellini <stefano.stabellini@xxxxxxx>
CommitDate: Wed Oct 26 12:18:54 2022 -0700

    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@xxxxxxxxxx>
    Acked-by: Jan Beulich <jbeulich@xxxxxxxx>
    Acked-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>
    Release-acked-by: Henry Wang <Henry.Wang@xxxxxxx>
---
 MAINTAINERS          |  1 -
 scripts/travis-build | 32 --------------------------------
 2 files changed, 33 deletions(-)

diff --git a/MAINTAINERS b/MAINTAINERS
index 816656950a..175f10f33f 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -274,7 +274,6 @@ W:  https://gitlab.com/xen-project/xen
 S:     Supported
 F:     .gitlab-ci.yml
 F:     automation/
-F:     scripts/travis-build
 
 CPU POOLS
 M:     Juergen Gross <jgross@xxxxxxxx>
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
--
generated by git-patchbot for /home/xen/git/xen.git#master