Skip to content

Remove one #ifdef RELEASE#6159

Merged
cknitt merged 1 commit intorescript-lang:masterfrom
cknitt:remove-ifdef
Apr 15, 2023
Merged

Remove one #ifdef RELEASE#6159
cknitt merged 1 commit intorescript-lang:masterfrom
cknitt:remove-ifdef

Conversation

@cknitt
Copy link
Copy Markdown
Member

@cknitt cknitt commented Apr 15, 2023

@cristianoc suggested trying to remove the distinction between release and dev builds (#ifdef RELEASE / #ifndef RELEASE) as far as possible.

Starting with one occurrence in Js_config that enables overriding the command line flag -bs-diagnose with an environment variable.

Also removing the corresponding, outdated scripts/dbg.

@cknitt cknitt requested a review from cristianoc April 15, 2023 14:38
@cknitt cknitt merged commit 1c4c2a6 into rescript-lang:master Apr 15, 2023
@cknitt cknitt deleted the remove-ifdef branch April 15, 2023 16:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants