diff options
Diffstat (limited to 'android')
| -rw-r--r-- | android/docker/Dockerfile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/android/docker/Dockerfile b/android/docker/Dockerfile index a38ce4f7c8..6c910b0800 100644 --- a/android/docker/Dockerfile +++ b/android/docker/Dockerfile @@ -111,4 +111,11 @@ RUN patch -p1 -f -N -r- -d /usr/local/go < /tmp/goruntime-boottime-over-monotoni # Add rust targets RUN rustup target add x86_64-linux-android i686-linux-android aarch64-linux-android armv7-linux-androideabi +# Install cbindgen to address maybenot.h (checked in) sometimes needing to be +# re-generated due to how `make` looks at last-modifications while git neither +# stores nor consistently sets modification metadata on file checkout. +# This is an intermediate solution that will be further improved as part of +# issue: DROID-1328. +RUN cargo install --force cbindgen --version "0.26.0" && rm -rf ~/.cargo/registry + WORKDIR /build |