diff options
Diffstat (limited to 'scripts/mk-w32-dist')
| -rwxr-xr-x | scripts/mk-w32-dist | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/mk-w32-dist b/scripts/mk-w32-dist index b425c7937..41c02a8b7 100755 --- a/scripts/mk-w32-dist +++ b/scripts/mk-w32-dist @@ -40,6 +40,8 @@ cp ${bindir}/g10/gpg.exe gpg.exe mingw32 strip gpg.exe cp ${bindir}/g10/gpgv.exe gpgv.exe mingw32 strip gpgv.exe +cp ${bindir}/keyserver/gpgkeys_ldap.exe gpgkeys_ldap.exe +mingw32 strip gpgkeys_ldap.exe cp ${bindir}/tools/gpgsplit.exe gpgsplit.exe mingw32 strip gpgsplit.exe |