diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2024-03-02 14:36:30 +0100 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2024-03-02 14:36:30 +0100 |
commit | 095efed3cfa9aa650a1668f26fcb7dd700714b5d (patch) | |
tree | 895c715a8070d359ba0e15c41461392a94b3c5d3 | |
parent | 71776841f3e4122a9accbc1d08a053d461913211 (diff) |
CONTRIB: Only build with experimental
-rw-r--r-- | src/Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 524b989c1..14e9964ed 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -7,5 +7,8 @@ SUBDIRS = \ lib \ plugin \ service \ - cli \ - contrib + cli + +if HAVE_EXPERIMENTAL + SUBDIRS += contrib +endif |