gnunet

commit 5e46cea6db04e736ace3c498ed1a1aac2c62c632
parent c1ee8b5616043a436d7d39be7f5dd3bd8054dd76
Author: Bart Polot <bart@net.in.tum.de>
Date:   Mon, 27 May 2013 08:56:18 +0000

- fix hosts file command line option

Diffstat:
M
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
@@ -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;