Skip to content

Commit

Permalink
Build dist-android with --enable-profiler
Browse files Browse the repository at this point in the history
  • Loading branch information
rojamd committed Mar 16, 2020
1 parent 59f4ba9 commit f8870bf
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/ci/docker/dist-android/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ ENV TARGETS=$TARGETS,x86_64-linux-android

ENV RUST_CONFIGURE_ARGS \
--enable-extended \
--enable-profiler \
--arm-linux-androideabi-ndk=/android/ndk/arm-14 \
--armv7-linux-androideabi-ndk=/android/ndk/arm-14 \
--thumbv7neon-linux-androideabi-ndk=/android/ndk/arm-14 \
Expand Down

0 comments on commit f8870bf

Please sign in to comment.