Searched refs:script_ext_mode (Results 1 – 1 of 1) sorted by relevance
204 static const char *script_ext_mode = script_ext_soft; variable519 if (script_ext_mode != script_ext_off in source_script_from_stream()531 if (script_ext_mode == script_ext_soft in source_script_from_stream()1694 script_ext_enums, &script_ext_mode, _("\ in _initialize_cli_cmds()