From d240b5ac273a981cdeff92d2b454878130dfa735 Mon Sep 17 00:00:00 2001 From: Werner Koch Date: Thu, 13 Aug 2020 11:00:23 +0200 Subject: [PATCH] tools: Install gpgsplit again -- We will also set the gpgsplit from 1.4 to noninstall. GnuPG-bug-id: 5023 Signed-off-by: Werner Koch --- tools/Makefile.am | 4 ++-- 1 file 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