summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Jones <pjones@redhat.com>2020-12-11 15:32:56 -0500
committerPeter Jones <pjones@redhat.com>2021-02-15 17:20:05 -0500
commitaa48ac96bade588a21ba0eacfd2273ddd1a2fd56 (patch)
tree98bce663815c30c26262b9fa4e84a9daa48d1cb5
parent5fb5537fa9bec93e52a92cf820d362e6a9c56c1c (diff)
downloadefi-boot-shim-aa48ac96bade588a21ba0eacfd2273ddd1a2fd56.tar.gz
efi-boot-shim-aa48ac96bade588a21ba0eacfd2273ddd1a2fd56.zip
We're not using travis-build.sh any more.
Signed-off-by: Peter Jones <pjones@redhat.com>
-rwxr-xr-xtravis-build.sh62
1 files changed, 0 insertions, 62 deletions
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