diff options
| author | Christian Grothoff <christian@grothoff.org> | 2019-02-24 10:31:09 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2019-02-24 10:31:09 +0100 |
| commit | 0e5149d7e776cd2d95af81abbf3a52d3c79659b6 (patch) | |
| tree | 3020e7e2b70d71d0e8549f017c4c030b72e9df40 /doc/tutorial/Makefile.am | |
| parent | da24a3606f55c66d8e1ce283661640e491489870 (diff) | |
| download | gnunet-0e5149d7e776cd2d95af81abbf3a52d3c79659b6.tar.gz gnunet-0e5149d7e776cd2d95af81abbf3a52d3c79659b6.zip | |
avoid failing hard if 'gnunetcheck' db does not exist
(or plugins cannot be loaded for other reasons)
Diffstat (limited to 'doc/tutorial/Makefile.am')
0 files changed, 0 insertions, 0 deletions