Home
last modified time | relevance | path

Searched refs:alter_argv (Results 1 – 1 of 1) sorted by relevance

/third_party/python/Lib/
Drunpy.py171 def _run_module_as_main(mod_name, alter_argv=True): argument
186 if alter_argv or mod_name != "__main__": # i.e. -m switch
194 if alter_argv: