build: Remove '--disable-tools' configuration option.
6993e42088c1Unpublished
Actions

Unpublished Commit · Learn More

Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

build: Remove '--disable-tools' configuration option.

* Makefile.am (SUBDIRS): Unconditionally include 'tools'.
* configure.ac: Remove '--disable-tools' configuration option.

gpgconf is a core component nowadays and is always required.

Provenance

justus

Authored on Mar 15 2017, 10:51 AM

Parents

rG61785b679c54: g10: Fix check of serialno.

Branches

Unknown

Tags

Unknown

Justus Winter <justus@g10code.com> committed rG6993e42088c1: build: Remove '--disable-tools' configuration option. (authored by Justus Winter <justus@g10code.com>).Mar 15 2017, 10:51 AM

justus mentioned this in Unknown Object (Maniphest Task).Mar 27 2017, 5:34 PM

Path

Size