diff options
| author | Peter Jones <pjones@redhat.com> | 2020-12-11 15:32:56 -0500 |
|---|---|---|
| committer | Peter Jones <pjones@redhat.com> | 2021-02-15 17:20:05 -0500 |
| commit | aa48ac96bade588a21ba0eacfd2273ddd1a2fd56 (patch) | |
| tree | 98bce663815c30c26262b9fa4e84a9daa48d1cb5 | |
| parent | 5fb5537fa9bec93e52a92cf820d362e6a9c56c1c (diff) | |
| download | efi-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-x | travis-build.sh | 62 |
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 |
