diff options
author | 2022-12-09 00:02:35 +0000 | |
---|---|---|
committer | 2022-12-09 00:02:35 +0000 | |
commit | 7ab66946806e6fb26e41dc39fe030e703f25d336 (patch) | |
tree | ad5ebdb60292c068213bbe71715f6248e94e7629 /compiler/optimizing/optimizing_compiler_stats.h | |
parent | d073a7265cf66bc812b5a2ec3ea17193b4126402 (diff) | |
parent | 856856e40de0f9552667b00f7751441e5662c0df (diff) |
Disable userfautlfd GC if minor-fault feature isn't available am: 856856e40d
Original change: https://android-review.googlesource.com/c/platform/art/+/2335766
Change-Id: Id28f30fbdcfc5a116edc8c635ce1108d85ec2917
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
Diffstat (limited to 'compiler/optimizing/optimizing_compiler_stats.h')
0 files changed, 0 insertions, 0 deletions