diff options
author | Bart Polot <bart@net.in.tum.de> | 2013-05-27 08:56:18 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2013-05-27 08:56:18 +0000 |
commit | 5e46cea6db04e736ace3c498ed1a1aac2c62c632 (patch) | |
tree | b85664ac28f85d0fa78c8e80e1c031fc038b53f6 /src/regex/gnunet-regex-profiler.c | |
parent | c1ee8b5616043a436d7d39be7f5dd3bd8054dd76 (diff) | |
download | gnunet-5e46cea6db04e736ace3c498ed1a1aac2c62c632.tar.gz gnunet-5e46cea6db04e736ace3c498ed1a1aac2c62c632.zip |
- fix hosts file command line option
Diffstat (limited to 'src/regex/gnunet-regex-profiler.c')
-rw-r--r-- | src/regex/gnunet-regex-profiler.c | 2 |
1 files changed, 1 insertions, 1 deletions
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) | |||
1433 | GNUNET_YES, &GNUNET_GETOPT_set_filename, &strings_file}, | 1433 | GNUNET_YES, &GNUNET_GETOPT_set_filename, &strings_file}, |
1434 | {'H', "hosts-file", "FILENAME", | 1434 | {'H', "hosts-file", "FILENAME", |
1435 | gettext_noop ("name of file with hosts' names"), | 1435 | gettext_noop ("name of file with hosts' names"), |
1436 | GNUNET_NO, &GNUNET_GETOPT_set_filename, &hosts_file}, | 1436 | GNUNET_YES, &GNUNET_GETOPT_set_filename, &hosts_file}, |
1437 | GNUNET_GETOPT_OPTION_END | 1437 | GNUNET_GETOPT_OPTION_END |
1438 | }; | 1438 | }; |
1439 | int ret; | 1439 | int ret; |