File tree Expand file tree Collapse file tree 1 file changed +5
-2
lines changed
Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Original file line number Diff line number Diff line change 11#! /bin/sh
2- set -e
2+ set -eu
3+ set -o pipefail
4+ set -x
35
46usage () {
57 status=" ${1} "
@@ -78,10 +80,11 @@ main() {
7880 rm -rf " ${ARCHIVE_DIR} /shim-${VERSION} " " ${ARCHIVE_DIR} /shim-${VERSION} "
7981 mkdir -p " ${ARCHIVE_DIR} /shim-${VERSION} /gnu-efi"
8082 cd gnu-efi || exit 1
83+ git fetch
8184 if [ " x" = " x${GNUEFI_GIT_TAG} " ] ; then
8285 git archive --format=tar " $( git log -1 --pretty=format:%h) " | ( cd " ${ARCHIVE_DIR} /shim-${VERSION} /gnu-efi" ; tar x )
8386 else
84- git archive --format=tar " ${ORIGIN} / ${ GNUEFI_GIT_TAG}" | ( cd " ${ARCHIVE_DIR} /shim-${VERSION} /gnu-efi" ; tar x )
87+ git archive --format=tar " ${GNUEFI_GIT_TAG} " | ( cd " ${ARCHIVE_DIR} /shim-${VERSION} /gnu-efi" ; tar x )
8588 fi
8689 cd ..
8790 if [ " x" = " x${SHIM_GIT_TAG} " ] ; then
You can’t perform that action at this time.
0 commit comments