Skip to content

src: get embedder options on-demand

Rodrigo Muino Tomonari requested to merge github/fork/joyeecheung/move-options into master

Only query embedder options when they are needed so that the bootstrap remains as stateless as possible so that the bootstrap snapshot is controlled solely by configure options, and subsequent runtime changes should be done in pre-execution.

Merge request reports