1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

--getopt-prefix-matching command-line option

This commit is contained in:
Sergei Golubchik
2015-01-07 12:13:21 +01:00
parent 0ce8703e99
commit 4280b25ed8
39 changed files with 88 additions and 58 deletions

View File

@@ -102,6 +102,7 @@ typedef void *(*my_getopt_value)(const char *, uint, const struct my_option *,
extern char *disabled_my_option;
extern my_bool my_getopt_print_errors;
extern my_bool my_getopt_skip_unknown;
extern my_bool my_getopt_prefix_matching;
extern my_error_reporter my_getopt_error_reporter;
extern int handle_options (int *argc, char ***argv,