Closed Bug 1627255 Opened 5 years ago Closed 5 years ago

Rename the --disable-ion configure option to --disable-jit

Categories

(Core :: JavaScript Engine: JIT, task, P1)

task

Tracking

()

RESOLVED FIXED
mozilla77
Tracking Status
firefox77 --- fixed

People

(Reporter: jandem, Assigned: jandem)

References

Details

Attachments

(2 files)

At least 6 years overdue but let's finally do this.

I have a patch for this that will also suggest the new option if you try to use the old one.

These days we can get the same information by checking JS_CODEGEN_NONE, so let's
do that.

For many years now this has covered all our JIT codegen, not just Ion, so this is
a lot less confusing. Using --enable-ion/--disable-ion now results in an error that
suggests the new name.

Depends on D69578

Priority: -- → P1
Pushed by jdemooij@mozilla.com: https://hg.mozilla.org/integration/autoland/rev/00e0880582b2 part 1 - Remove the ENABLE_ION config item. r=glandium https://hg.mozilla.org/integration/autoland/rev/ddd50e956bc0 part 2 - Rename the --enable-ion configure option to --enable-jit. r=glandium
Status: ASSIGNED → RESOLVED
Closed: 5 years ago
Resolution: --- → FIXED
Target Milestone: --- → mozilla77
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: