Build dist-android with --enable-profiler

This commit is contained in:
rojamd 2020-03-16 15:29:10 -04:00
parent 59f4ba9504
commit f8870bfd63

View File

@ -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 \