From aa48ac96bade588a21ba0eacfd2273ddd1a2fd56 Mon Sep 17 00:00:00 2001
From: Peter Jones <pjones@redhat.com>
Date: Fri, 11 Dec 2020 15:32:56 -0500
Subject: We're not using travis-build.sh any more.

Signed-off-by: Peter Jones <pjones@redhat.com>
---
 travis-build.sh | 62 ---------------------------------------------------------
 1 file changed, 62 deletions(-)
 delete mode 100755 travis-build.sh

diff --git a/travis-build.sh b/travis-build.sh
deleted file mode 100755
index 3b8745b8..00000000
--- a/travis-build.sh
+++ /dev/null
@@ -1,62 +0,0 @@
-#!/bin/bash
-#
-# travis-build.sh
-# Copyright (C) 2018 Peter Jones <pjones@redhat.com>
-#
-# Distributed under terms of the GPLv3 license.
-#
-#
-
-set -euv
-
-usage() {
-    echo usage: $1 --branch '<origin_branch>' --repo '<origin_repo>' --remote '<remote_repo>' --pr-sha '<commit_id>'
-    exit $2
-}
-
-declare origin_branch=""
-declare origin_repo=""
-declare remote_repo=""
-declare pr_sha=""
-
-let n=0 || :
-
-if [[ $# -le 1 ]] ; then
-    usage $0 1
-fi
-
-while [[ $# > 0 ]] ; do
-    case " $1 " in
-        " --help "|" -h "|" -? ")
-            usage $0 0
-            ;;
-        " --branch ")
-            origin_branch="$2"
-            shift
-            ;;
-        " --repo ")
-            origin_repo="$2"
-            shift
-            ;;
-        " --remote ")
-            remote_repo="$2"
-            shift
-            ;;
-        " --pr-sha ")
-            commit_id="$2"
-            shift
-            ;;
-        *)
-            usage $0 1
-            ;;
-    esac
-    shift
-done
-
-if [[ -n "${remote_repo}" ]] ; then
-    git remote add remote https://github.com/${remote_repo}
-    git fetch remote
-    git checkout -f ${commit_id}
-fi
-git reset --hard "${origin_branch}"
-make EFIDIR=test ENABLE_SHIM_CERT=1 ENABLE_HTTBOOT=1 ARCH=x86_64 clean all
-- 
cgit v1.2.3