benchmark time was increased.
[gnutls.git] / src / args-std.def
blob10ceddabb79d7534f152394dc804dad7df5e340e
2 prog-group = GnuTLS;
3 config-header = config.h;
4 gnu-usage;
5 disable-save;
6 long-opts;
7 no-xlate = opt;
8 version = "@VERSION@";
9 no-misuse-usage;
10 export = '#include <gettext.h>';
12 copyright = {
13 date = "2000-2012";
14 owner = "Free Software Foundation";
15 author = "Nikos Mavrogiannopoulos, Simon Josefsson and others; "
16 "see /usr/share/doc/gnutls-bin/AUTHORS for a complete list.";
17 eaddr = "bug-gnutls@gnu.org";
18 type = gpl;
21 help-value = h;
22 flag = {
23 name = debug;
24 value = d;
25 arg-type = number;
26 arg-range = "0 -> 9999";
27 descrip = "Enable debugging.";
28 doc = "Specifies the debug level.";
31 #ifdef VERBOSE_OPT
32 flag = {
33 name = verbose;
34 value = V;
35 max = NOLIMIT;
36 descrip = "More verbose output";
37 doc = "";
39 #endif
41 #ifdef INFILE_OPT
42 flag = {
43 name = infile;
44 arg-type = file;
45 file-exists = yes;
46 descrip = "Input file";
47 doc = "";
49 #endif
51 #ifdef OUTFILE_OPT
52 flag = {
53 name = outfile;
54 arg-type = string;
55 descrip = "Output file";
56 doc = "";
58 #endif