diff options
| author | Peter Jones <pjones@redhat.com> | 2025-03-04 10:20:26 -0500 |
|---|---|---|
| committer | Peter Jones <pjones@redhat.com> | 2025-03-04 10:22:00 -0500 |
| commit | f02b2c1ab81e5d18db240bfd4d774e5ad3b53530 (patch) | |
| tree | 0d6bbfc9bd12947a5c890dbfb984ed7c4736f62b | |
| parent | 06d8dec7e27c474393b2b83f0c8b5e25214ee5e9 (diff) | |
| download | efi-boot-shim-f02b2c1ab81e5d18db240bfd4d774e5ad3b53530.tar.gz efi-boot-shim-f02b2c1ab81e5d18db240bfd4d774e5ad3b53530.zip | |
make-archive: some minor housekeeping
Signed-off-by: Peter Jones <pjones@redhat.com>
| -rwxr-xr-x | make-archive | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/make-archive b/make-archive index 9ae9eef0..d0352b70 100755 --- a/make-archive +++ b/make-archive @@ -1,5 +1,7 @@ #!/bin/sh -set -e +set -eu +set -o pipefail +set -x usage() { status="${1}" @@ -78,10 +80,11 @@ main() { rm -rf "${ARCHIVE_DIR}/shim-${VERSION}" "${ARCHIVE_DIR}/shim-${VERSION}" mkdir -p "${ARCHIVE_DIR}/shim-${VERSION}/gnu-efi" cd gnu-efi || exit 1 + git fetch if [ "x" = "x${GNUEFI_GIT_TAG}" ] ; then git archive --format=tar "$(git log -1 --pretty=format:%h)" | ( cd "${ARCHIVE_DIR}/shim-${VERSION}/gnu-efi" ; tar x ) else - git archive --format=tar "${ORIGIN}/${GNUEFI_GIT_TAG}" | ( cd "${ARCHIVE_DIR}/shim-${VERSION}/gnu-efi" ; tar x ) + git archive --format=tar "${GNUEFI_GIT_TAG}" | ( cd "${ARCHIVE_DIR}/shim-${VERSION}/gnu-efi" ; tar x ) fi cd .. if [ "x" = "x${SHIM_GIT_TAG}" ] ; then |