diff options
Diffstat (limited to 'scripts/mk-w32-dist')
| -rwxr-xr-x | scripts/mk-w32-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/mk-w32-dist b/scripts/mk-w32-dist index f9b7a0b61..3f687cafd 100755 --- a/scripts/mk-w32-dist +++ b/scripts/mk-w32-dist @@ -116,7 +116,7 @@ cp ${bindir}/g10/gpg.exe gpg.exe $STRIP gpg.exe cp ${bindir}/g10/gpgv.exe gpgv.exe $STRIP gpgv.exe -for name in hkp http ldap finger; do +for name in hkp curl ldap finger; do cp ${bindir}/keyserver/gpgkeys_$name.exe gpgkeys_$name.exe $STRIP gpgkeys_$name.exe done |