Skip to content

Call filter arguments after the global arguments are parsed.#3511

Merged
dbatyai merged 1 commit intojerryscript-project:masterfrom
zherczeg:filter_args
Jan 14, 2020
Merged

Call filter arguments after the global arguments are parsed.#3511
dbatyai merged 1 commit intojerryscript-project:masterfrom
zherczeg:filter_args

Conversation

@zherczeg
Copy link
Copy Markdown
Member

No description provided.

JerryScript-DCO-1.0-Signed-off-by: Zoltan Herczeg zherczeg.u-szeged@partner.samsung.com
@rerobika rerobika added the pre-scanner Related to the JavaScript pre-scanner label Jan 14, 2020
Copy link
Copy Markdown
Member

@rerobika rerobika left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Copy link
Copy Markdown
Member

@dbatyai dbatyai left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@dbatyai dbatyai merged commit d6070a9 into jerryscript-project:master Jan 14, 2020
@zherczeg zherczeg deleted the filter_args branch January 14, 2020 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pre-scanner Related to the JavaScript pre-scanner

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants