Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 3 of 3 for Vriens (0.18 sec)

  1. ci/official/containers/linux_arm64/builder.devtoolset/build_devtoolset.sh

    devtoolset-9)
      wget --retry-connrefused --waitretry=1 --read-timeout=20 --timeout=15 --tries=5 "https://vault.centos.org/centos/7/sclo/Source/rh/devtoolset-9-gcc-9.3.1-2.2.el7.src.rpm"
      rpm2cpio "devtoolset-9-gcc-9.3.1-2.2.el7.src.rpm" |cpio -idmv
      tar -xvf "gcc-9.3.1-20200408.tar.xz" --strip 1
      ;;
    devtoolset-10)
    Shell Script
    - Registered: Tue Apr 30 12:39:09 GMT 2024
    - Last Modified: Fri Sep 29 00:26:34 GMT 2023
    - 6.1K bytes
    - Viewed (1)
  2. ci/official/containers/linux_arm64/setup.python.sh

    if [[ ! -f "/usr/local/include/$VERSION" ]]; then
      ln -sf /usr/include/$VERSION /usr/local/include/$VERSION
    fi
    
    # Install pip
    
    wget --retry-connrefused --waitretry=1 --read-timeout=20 --timeout=15 --tries=5 https://bootstrap.pypa.io/get-pip.py
    /usr/bin/$VERSION get-pip.py
    /usr/bin/$VERSION -m pip install --no-cache-dir --upgrade pip
    
    # Disable the cache dir to save image space, and install packages
    Shell Script
    - Registered: Tue Apr 30 12:39:09 GMT 2024
    - Last Modified: Fri Sep 29 00:26:34 GMT 2023
    - 2.1K bytes
    - Viewed (0)
  3. bin/build_ztunnel.sh

      cp -f "${2}" "${TARGET_OUT_LINUX}/ztunnel"
    }
    
    function maybe_build_ztunnel() {
      # TODO detect git changes or something to avoid unnecessarily building
      # BUILD_ZTUNNEL=1 with no BUILD_ZTUNNEL_REPO tries to infer BUILD_ZTUNNEL_REPO
      if [[ "${BUILD_ZTUNNEL_REPO:-}" == "" ]] && [[ "${BUILD_ZTUNNEL:-}" != "" ]]; then
        local ZTUNNEL_DIR
    	ZTUNNEL_DIR="$(pwd)/../ztunnel"
        if [[ -d "${ZTUNNEL_DIR}" ]]; then
    Shell Script
    - Registered: Wed May 01 22:53:12 GMT 2024
    - Last Modified: Tue Apr 02 21:46:06 GMT 2024
    - 5K bytes
    - Viewed (0)
Back to top