diff options
-rw-r--r-- | tools/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/Makefile.am b/tools/Makefile.am index eed6a44eb..27a416be3 100644 --- a/tools/Makefile.am +++ b/tools/Makefile.am @@ -53,13 +53,13 @@ libexec_PROGRAMS = gpg-wks-client bin_PROGRAMS = gpgconf gpg-connect-agent gpg-card ${symcryptrun} if !HAVE_W32_SYSTEM -bin_PROGRAMS += watchgnupg gpgparsemail ${gpg_wks_server} +bin_PROGRAMS += watchgnupg gpgparsemail ${gpg_wks_server} gpgsplit endif libexec_PROGRAMS += gpg-check-pattern if !HAVE_W32CE_SYSTEM -noinst_PROGRAMS = clean-sat make-dns-cert gpgsplit +noinst_PROGRAMS = clean-sat make-dns-cert endif if !HAVE_W32CE_SYSTEM |