Build dist-android with --enable-profiler#70054

Merged

bors merged 2 commits intorust-lang:masterfrom

rojamd:android-pgo

Mar 21, 2020

Commits on Mar 16, 2020

Build dist-android with --enable-profiler
rojamd
committed

Commits on Mar 18, 2020

Remove -ffreestanding from libprofiler_builtins because we do need the standard library
rojamd
committed