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 /src/util/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 'src/util/Makefile.am')
0 files changed, 0 insertions, 0 deletions