8000 Rollup merge of #70054 - rojamd:android-pgo, r=michaelwoerister · Centril/rust@09dddf1 · GitHub
[go: up one dir, main page]
10000
Skip to content

Commit 09dddf1

Browse files
CentrilCentril
authored
Rollup merge of rust-lang#70054 - rojamd:android-pgo, r=michaelwoerister
Build dist-android with --enable-profiler This will make the runtime available to enable PGO for Rust code in Firefox on Android. r? @michaelwoerister
2 parents c8d743c + f8870bf commit 09dddf1

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎src/ci/docker/dist-android/Dockerfile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,7 @@ ENV TARGETS=$TARGETS,x86_64-linux-android
2323

2424
ENV RUST_CONFIGURE_ARGS \
2525
--enable-extended \
26+
--enable-profiler \
2627
--arm-linux-androideabi-ndk=/android/ndk/arm-14 \
2728
--armv7-linux-androideabi-ndk=/android/ndk/arm-14 \
2829
--thumbv7neon-linux-androideabi-ndk=/android/ndk/arm-14 \

0 commit comments

Comments
 (0)
0