Fix license.
[gnutls.git] / src / psk.gaa
blob9b4cc31f5a42c739c0548cedce8f192f1e2d42d2
1 #{
3 /* C declarations */
5 #include <config.h>
6 #ifdef _WIN32
7 # include <io.h>
8 #endif
10 void psktool_version(void);
14 helpnode "PSKtool help\nUsage : psktool [options]"
16 #char *username;
17 option (u,username) STR "username" { $username = $1 } "specify username."
19 #char *passwd;
20 option (p, passwd) STR "FILE" { $passwd = $1 } "specify a password file."
22 #char *netconf_hint;
23 option (n, netconf-hint) STR "HINT" { $netconf_hint = $1 } "derive key from Netconf password, using HINT as the psk_identity_hint."
25 #int key_size;
26 option (s, keysize) INT "SIZE" { $key_size = $1 } "specify the key size in bytes."
28 option (v, version) { psktool_version(); exit(0); } "prints the program's version number"
29 option (h, help) { gaa_help(); exit(0); } "shows this help text"
31 init { $username=NULL; $passwd=NULL; $key_size = 0; $netconf_hint = NULL; }