YJIT: Make dev_nodebug closer to dev (#7570)
This commit is contained in:
parent
27ecf3261e
commit
51834ff2ec
Notes:
git
2023-03-20 20:03:44 +00:00
Merged-By: k0kubun <takashikkbn@gmail.com>
@ -3800,6 +3800,7 @@ AS_CASE(["${YJIT_SUPPORT}"],
|
|||||||
[dev_nodebug], [
|
[dev_nodebug], [
|
||||||
rb_rust_target_subdir=dev_nodebug
|
rb_rust_target_subdir=dev_nodebug
|
||||||
CARGO_BUILD_ARGS='--profile dev_nodebug --features stats,disasm'
|
CARGO_BUILD_ARGS='--profile dev_nodebug --features stats,disasm'
|
||||||
|
AC_DEFINE(YJIT_STATS, 1)
|
||||||
],
|
],
|
||||||
[stats], [
|
[stats], [
|
||||||
rb_rust_target_subdir=stats
|
rb_rust_target_subdir=stats
|
||||||
|
@ -30,10 +30,11 @@ debug = true
|
|||||||
debug-assertions = true
|
debug-assertions = true
|
||||||
overflow-checks = true
|
overflow-checks = true
|
||||||
|
|
||||||
[profile.stats]
|
|
||||||
inherits = "release"
|
|
||||||
|
|
||||||
[profile.dev_nodebug]
|
[profile.dev_nodebug]
|
||||||
|
inherits = "dev"
|
||||||
|
debug = false
|
||||||
|
|
||||||
|
[profile.stats]
|
||||||
inherits = "release"
|
inherits = "release"
|
||||||
|
|
||||||
[profile.release]
|
[profile.release]
|
||||||
|
Loading…
x
Reference in New Issue
Block a user