diff options
Diffstat (limited to 'pypy/config')
| -rw-r--r-- | pypy/config/translationoption.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pypy/config/translationoption.py b/pypy/config/translationoption.py index ad6e1c1ca9..008f3fa1d1 100644 --- a/pypy/config/translationoption.py +++ b/pypy/config/translationoption.py @@ -108,6 +108,9 @@ translation_optiondescription = OptionDescription( ["off", "profile", "steps", "detailed"], default="profile", # XXX for now cmdline="--jit-debug"), + ChoiceOption("jit_profiler", "integrate profiler support into the JIT", + ["off", "oprofile"], + default="off"), # misc BoolOption("verbose", "Print extra information", default=False), |