File tree Expand file tree Collapse file tree 2 files changed +6
-2
lines changed
Expand file tree Collapse file tree 2 files changed +6
-2
lines changed Original file line number Diff line number Diff line change 22# Build Codename One Android port using JDK 11 for Maven and JDK 17 for compilation
33set -euo pipefail
44
5+ log () {
6+ echo " [build-android-port] $1 "
7+ }
8+
59# Normalize TMPDIR and compose paths without duplicate slashes
610TMPDIR=" ${TMPDIR:-/ tmp} "
711TMPDIR=" ${TMPDIR%/ } "
@@ -13,7 +17,7 @@ log "The DOWNLOAD_DIR is ${DOWNLOAD_DIR}"
1317
1418ENV_DIR=" $DOWNLOAD_DIR /tools"
1519
16- cat " $ENV_DIR /env.sh"
20+ cat " $ENV_DIR /env.sh" | tee /dev/stderr
1721
1822if [ -f " $ENV_DIR /env.sh" ]; then
1923 source " $ENV_DIR /env.sh"
Original file line number Diff line number Diff line change @@ -150,7 +150,7 @@ export MAVEN_HOME="$MAVEN_HOME"
150150export PATH="\$ JAVA_HOME/bin:\$ MAVEN_HOME/bin:\$ PATH"
151151ENV
152152
153- cat " $ENV_DIR /env.sh"
153+ cat " $ENV_DIR /env.sh" | tee /dev/stderr
154154
155155# shellcheck disable=SC1090
156156source " $ENV_DIR /env.sh"
You can’t perform that action at this time.
0 commit comments