summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorgVisor bot <gvisor-bot@google.com>2021-03-12 10:07:13 -0800
committergVisor bot <gvisor-bot@google.com>2021-03-12 10:07:13 -0800
commitf04d10badafdfd1494ef43bd592149f49d7f924d (patch)
tree1e66761a4d06368362b5bd60794d2b889590b4af
parentab488702a68b139ee3fffb04931cfd749571ff9a (diff)
parent8cbea788b968233dfa86dae147777d4c1c2fac4d (diff)
Merge pull request #5663 from avagin:apt-repo
PiperOrigin-RevId: 362545342
-rwxr-xr-xtools/make_apt.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/make_apt.sh b/tools/make_apt.sh
index 68f6973ec..935c4db2d 100755
--- a/tools/make_apt.sh
+++ b/tools/make_apt.sh
@@ -107,7 +107,9 @@ for pkg in "$@"; do
cp -a -L "$(dirname "${pkg}")/${name}.deb" "${destdir}"
cp -a -L "$(dirname "${pkg}")/${name}.changes" "${destdir}"
chmod 0644 "${destdir}"/"${name}".*
+ # Sign a package only if it isn't signed yet.
# We use [*] here to expand the gpg_opts array into a single shell-word.
+ dpkg-sig -g "${gpg_opts[*]}" --verify "${destdir}/${name}.deb" ||
dpkg-sig -g "${gpg_opts[*]}" --sign builder "${destdir}/${name}.deb"
done