From 5e46cea6db04e736ace3c498ed1a1aac2c62c632 Mon Sep 17 00:00:00 2001 From: Bart Polot Date: Mon, 27 May 2013 08:56:18 +0000 Subject: - fix hosts file command line option --- src/regex/gnunet-regex-profiler.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/regex/gnunet-regex-profiler.c b/src/regex/gnunet-regex-profiler.c index 112b354b2..954915aad 100644 --- a/src/regex/gnunet-regex-profiler.c +++ b/src/regex/gnunet-regex-profiler.c @@ -1433,7 +1433,7 @@ main (int argc, char *const *argv) GNUNET_YES, &GNUNET_GETOPT_set_filename, &strings_file}, {'H', "hosts-file", "FILENAME", gettext_noop ("name of file with hosts' names"), - GNUNET_NO, &GNUNET_GETOPT_set_filename, &hosts_file}, + GNUNET_YES, &GNUNET_GETOPT_set_filename, &hosts_file}, GNUNET_GETOPT_OPTION_END }; int ret; -- cgit v1.2.3