diff options
author | Luke Dashjr <luke-jr+git@utopios.org> | 2015-01-12 19:32:38 +0000 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2015-01-16 15:58:05 +0100 |
commit | a83ad32e33edd127df7c13149388c836482eb3dd (patch) | |
tree | 9b73949ff3393fdff24cd25eb2441fae07b55e01 /Makefile.am | |
parent | b86a5eb84d0aa84dd30dfee3281bc7f7a4e6447a (diff) | |
download | gnutls-a83ad32e33edd127df7c13149388c836482eb3dd.tar.gz |
Added configure option --disable-tools
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 3ca67f3326..9f6b199c12 100644 --- a/Makefile.am +++ b/Makefile.am @@ -27,10 +27,15 @@ if ENABLE_DANE SUBDIRS += libdane endif -SUBDIRS += po src +SUBDIRS += po if ENABLE_DOC SUBDIRS += doc endif +if ENABLE_TOOLS +SUBDIRS += src +else +SUBDIRS += src/gl +endif if ENABLE_TESTS SUBDIRS += tests endif |