diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-29 15:53:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-29 15:53:52 +0200 |
| commit | bf3f54b48ccfdc4c96d964c59c4e20bc7d23e4ff (patch) | |
| tree | 707c9d971163dfbaa5452bb53bd3810305d71edc /makechrootpkg.in | |
| parent | 472b0e98a87c9fc942db930a4d5c3f34a88d2169 (diff) | |
| download | devtools-0743da3e9fff7f896489e06394f5d24e95eecdb6.tar.xz | |
makechrootpkg: refresh-keys before buildingv20180529archlinux32/v20180529
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 c584089..d3b9533 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 |