From f8870bfd63d806daea4e34a161df996a26214712 Mon Sep 17 00:00:00 2001
From: rojamd <rojamd>
Date: Mon, 16 Mar 2020 15:29:10 -0400
Subject: [PATCH] Build dist-android with --enable-profiler

---
 src/ci/docker/dist-android/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ci/docker/dist-android/Dockerfile b/src/ci/docker/dist-android/Dockerfile
index a54a2d003b649..64f31750dd7b6 100644
--- a/src/ci/docker/dist-android/Dockerfile
+++ b/src/ci/docker/dist-android/Dockerfile
@@ -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 \