diff options
| author | gVisor bot <gvisor-bot@google.com> | 2021-03-12 10:07:13 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-03-12 10:07:13 -0800 |
| commit | f04d10badafdfd1494ef43bd592149f49d7f924d (patch) | |
| tree | 1e66761a4d06368362b5bd60794d2b889590b4af /tools | |
| parent | ab488702a68b139ee3fffb04931cfd749571ff9a (diff) | |
| parent | 8cbea788b968233dfa86dae147777d4c1c2fac4d (diff) | |
Merge pull request #5663 from avagin:apt-repo
PiperOrigin-RevId: 362545342
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/make_apt.sh | 2 |
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 |