Enable profiler in dist-powerpc-linux

2023-12-29 16:50:24 +08:00 · 2023-12-29 16:50:24 +08:00 · f7ed423f50
commit f7ed423f50
parent 95613d1b23
1 changed files with 1 additions and 1 deletions
--- a/src/ci/docker/host-x86_64/dist-powerpc-linux/Dockerfile
+++ b/src/ci/docker/host-x86_64/dist-powerpc-linux/Dockerfile
@ -26,5 +26,5 @@ ENV \

 ENV HOSTS=powerpc-unknown-linux-gnu

-ENV RUST_CONFIGURE_ARGS --enable-extended --disable-docs
+ENV RUST_CONFIGURE_ARGS --enable-extended --enable-profiler --disable-docs
 ENV SCRIPT python3 ../x.py dist --host $HOSTS --target $HOSTS