[gpEdit v1.0]

This commit is contained in:
2020-11-14 19:33:37 +00:00
parent 132d9a74f2
commit 7313f179cb
1067 changed files with 174190 additions and 0 deletions
@@ -0,0 +1,19 @@
import sys
import subprocess
def __optim_args_from_interpreter_flags():
"""Return a list of command-line arguments reproducing the current
optimization settings in sys.flags."""
args = []
value = sys.flags.optimize
if value > 0:
args.append("-" + "O" * value)
return args
_optim_args_from_interpreter_flags = getattr(
subprocess,
"_optim_args_from_interpreter_flags",
__optim_args_from_interpreter_flags,
)