diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-29 15:53:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-31 16:09:42 +0200 |
| commit | 1a3f5fb89d630412a081cf3350835b7070a97784 (patch) | |
| tree | 588796df0ab606ce6b725c4b0ad043d5e5a72a8b /makechrootpkg.in | |
| parent | 7c1d9626756b9c8d7018a0d5e99a4a8b913abe9b (diff) | |
| download | devtools32-v20180531.tar.xz | |
makechrootpkg: refresh-keys before buildingv20180531archlinux32/v20180531
Diffstat (limited to 'makechrootpkg.in')
| -rw-r--r-- | makechrootpkg.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/makechrootpkg.in b/makechrootpkg.in index adaa758..2584bcd 100644 --- a/makechrootpkg.in +++ b/makechrootpkg.in @@ -223,6 +223,7 @@ _chrootbuild() { # otherwise we might have missing keys pacman-key --populate + pacman-key --refresh-keys # Beware, there are some stupid arbitrary rules on how you can # use "$" in arguments to commands with "sudo -i". ${foo} or |