Searched refs:default_prefix (Results 1 – 1 of 1) sorted by relevance
382 const char *default_prefix = "[default: "; in print_default() local386 len = strlen(default_prefix) + strlen(def) + strlen(default_suffix); in print_default()399 printf("%s%s%s", default_prefix, def, default_suffix); in print_default()446 const char *default_prefix = "[default: "; in print_default_flags() local448 int len = strlen(default_prefix) + strlen(default_suffix); in print_default_flags()468 printf("%s", default_prefix); in print_default_flags()