aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBart Polot <bart@net.in.tum.de>2013-05-27 08:56:18 +0000
committerBart Polot <bart@net.in.tum.de>2013-05-27 08:56:18 +0000
commit5e46cea6db04e736ace3c498ed1a1aac2c62c632 (patch)
treeb85664ac28f85d0fa78c8e80e1c031fc038b53f6
parentc1ee8b5616043a436d7d39be7f5dd3bd8054dd76 (diff)
downloadgnunet-5e46cea6db04e736ace3c498ed1a1aac2c62c632.tar.gz
gnunet-5e46cea6db04e736ace3c498ed1a1aac2c62c632.zip
- fix hosts file command line option
-rw-r--r--src/regex/gnunet-regex-profiler.c2
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;