diff options
-rwxr-xr-x | production/build-functions.shsource | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/production/build-functions.shsource b/production/build-functions.shsource index d921bad5f..78e21207d 100755 --- a/production/build-functions.shsource +++ b/production/build-functions.shsource @@ -651,8 +651,16 @@ fn-gather-repo () BUILD_ID="$1"; shift REPO_DIR="$1"; shift BUILD_DIR="$1"; shift - TARGET_PATH=eclipse.platform.releng.tychoeclipsebuilder/eclipse.platform.repository/target/repository - REPO_DIR_REPOSITORY=$REPO_DIR/$TAGET_PATH + if [[ -n "${PATCH_BUILD}" ]] + then + PATCH_BUILD_GENERIC=java11patch + TARGET_PATH=eclipse.platform.releng.tychoeclipsebuilder/${PATCH_BUILD}/eclipse.releng.repository.${PATCH_BUILD_GENERIC}/target/repository + REPO_DIR_REPOSITORY=$REPO_DIR/${TARGET_PATH} + else + TARGET_PATH=eclipse.platform.releng.tychoeclipsebuilder/eclipse.platform.repository/target/repository + REPO_DIR_REPOSITORY=$REPO_DIR/$TAGET_PATH + fi + if [[ -d "$REPO_DIR_REPOSITORY" ]] then pushd "$REPO_DIR" |