cli: add global option "--uuid"

[notmuch] / test / random-corpus.c

diff --git a/test/random-corpus.c b/test/random-corpus.c
index b377eb40bfdce0964880e736f493f33f3e2066d0..d74271d932312d77ea66a02131a753ea4b931762 100644 (file)
--- a/test/random-corpus.c
+++ b/test/random-corpus.c
@@ -119,6 +119,8 @@ const notmuch_opt_desc_t notmuch_shared_options[] = {
        { 0, 0, 0, 0, 0 }
 };
 
+char *notmuch_requested_db_uuid = NULL;
+
 void
 notmuch_process_shared_options (unused (const char *dummy))
 {