chore(docker): Avoid the use of tee if stdout is not needed

Signed-off-by: Sebastian Schuberth <[email protected]>
oss-review-toolkit · Nov 14, 2023 · cec3ec7 · cec3ec7
1 parent bb742aa
commit cec3ec7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -312,7 +312,7 @@ RUN --mount=type=tmpfs,target=/android \
     fi \
     && yes | $ANDROID_HOME/cmdline-tools/bin/sdkmanager $SDK_MANAGER_PROXY_OPTIONS --sdk_root=$ANDROID_HOME "platform-tools" "cmdline-tools;latest"
 
-RUN curl -ksS https://storage.googleapis.com/git-repo-downloads/repo | tee $ANDROID_HOME/cmdline-tools/bin/repo > /dev/null 2>&1 \
+RUN curl -ksS https://storage.googleapis.com/git-repo-downloads/repo > $ANDROID_HOME/cmdline-tools/bin/repo \
     && sudo chmod a+x $ANDROID_HOME/cmdline-tools/bin/repo
 
 FROM scratch AS android