diff options
-rwxr-xr-x | production/build-functions.shsource | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/production/build-functions.shsource b/production/build-functions.shsource index d1d4bb27e..2fb447e1f 100755 --- a/production/build-functions.shsource +++ b/production/build-functions.shsource @@ -653,7 +653,7 @@ fn-gather-repo () BUILD_DIR="$1"; shift if [[ -n "${PATCH_BUILD}" ]] then - PATCH_BUILD_GENERIC=java9patch + PATCH_BUILD_GENERIC=java10patch ORIG_PATH=eclipse.platform.releng.tychoeclipsebuilder/${PATCH_BUILD}/eclipse.releng.repository.${PATCH_BUILD_GENERIC}/target/site TARGET_PATH=eclipse.platform.releng.tychoeclipsebuilder/${PATCH_BUILD}/eclipse.releng.repository.${PATCH_BUILD_GENERIC}/target/repository ORIG_DIR_REPOSITORY=$REPO_DIR/${ORIG_PATH} |