message: Parameterized docker build now supports a local pip whl file path.
diff: # If set to a non-empty string, will use it as the URL from which the
  # pip wheel file will be downloaded (instead of building the pip locally).
  #
  +# TF_DOCKER_BUILD_CENTRAL_PIP_IS_LOCAL
  +# (Optional)
  +# If set to a non-empty string, we will treat TF_DOCKER_BUILD_CENTRAL_PIP
  +# as a path rather than a url.
  +#
  # TF_DOCKER_BUILD_IMAGE_NAME:
  # (Optional)
  # If set to any non-empty value, will use it as the image of the
  @@ -234,6 +239,32 @@ if [[ "${TF_DOCKER_BUILD_IS_DEVEL}" == "no" ]]; then
  "COPY ${PIP_WHL} /\n"\
  "RUN pip --no-cache-dir install /${PIP_WHL}" "${ORIG_DOCKERFILE}" \
  > "${DOCKERFILE}"
  +
  + # Build from a local whl file path rather than an URL
  + elif [[ ! -z "${TF_DOCKER_BUILD_CENTRAL_PIP_IS_LOCAL}" ]]; then
  + PIP_WHL="${TF_DOCKER_BUILD_CENTRAL_PIP}"
  + if [[ -z "${PIP_WHL}" ]]; then
  + die "ERROR: Cannot locate the specified pip whl file"
  + fi
  + echo "Specified PIP whl file is at: ${PIP_WHL}"
  +
  + # Copy the pip file to tmp directory
  + cp "${PIP_WHL}" "${TMP_DIR}/" || \
  + die "ERROR: Failed to copy wheel file: ${PIP_WHL}"
  +
  + # Use string replacement to put the correct file name into the Dockerfile
  + PIP_WHL=$(basename "${PIP_WHL}")
  +
  + # Modify the non-devel Dockerfile to point to the correct pip whl file
  + # location
  + sed -e "/# --- DO NOT EDIT OR DELETE BETWEEN THE LINES --- #/,"\
  +"/# --- ~ DO NOT EDIT OR DELETE BETWEEN THE LINES --- #/c"\
  +"COPY ${PIP_WHL} /\n"\
  +"RUN pip --no-cache-dir install /${PIP_WHL}" "${ORIG_DOCKERFILE}" \
  + > "${DOCKERFILE}"
  + echo "Using local pip wheel from: ${TF_DOCKER_BUILD_CENTRAL_PIP}"
  + echo
  +
  else
  echo "Downloading pip wheel from: ${TF_DOCKER_BUILD_CENTRAL_PIP}"
  echo
  