diff options
| author | cyBerta <cyberta@riseup.net> | 2023-10-31 20:13:20 +0100 |
|---|---|---|
| committer | cyBerta <cyberta@riseup.net> | 2023-10-31 20:13:20 +0100 |
| commit | 3b2347d5a71ecec57d45eebdcce615d15620e7d8 (patch) | |
| tree | f06769fe4268b89ff6bebbf9117ec7944c0a8606 /docker/android-ndk | |
| parent | e62532bb0b2f57293edf18ae82afab5f3c8621e7 (diff) | |
force rebuild of docker-ndk image. Print out JAVA_HOME and java version
Diffstat (limited to 'docker/android-ndk')
| -rw-r--r-- | docker/android-ndk/Dockerfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docker/android-ndk/Dockerfile b/docker/android-ndk/Dockerfile index ffe189b3..485160d4 100644 --- a/docker/android-ndk/Dockerfile +++ b/docker/android-ndk/Dockerfile @@ -37,6 +37,9 @@ ENV ANDROID_NDK_HOME ${ANDROID_HOME}/android-ndk-${ANDROID_NDK_VERSION} ENV ANDROID_NDK_URL http://dl.google.com/android/repository/android-ndk-${ANDROID_NDK_VERSION}-linux-x86_64.zip ENV ANDROID_SDK_ROOT ${ANDROID_HOME}/latest/cmdline-tools +RUN echo $JAVA_HOME +RUN java --version + RUN curl -L $ANDROID_NDK_URL -o ndk.zip \ && unzip ndk.zip -d $ANDROID_HOME/ndk \ && rm -rf ndk.zip |