diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-07-22 17:40:58 +0200 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-07-22 17:30:12 +0200 |
commit | fa7bee13bf745d8d244fa8d3579a21016a0cb66d (patch) | |
tree | a1d24d09cc8b24d0440ed2605b38836884b94cad /ci | |
parent | fadb7c2a91123639a673d0bab2403499040207bf (diff) |
lint: Use git clone --depth=1
No need to download and store more than that.
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/lint/04_install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh index 7a01482025..ff9206fb6f 100755 --- a/ci/lint/04_install.sh +++ b/ci/lint/04_install.sh @@ -21,7 +21,7 @@ ${CI_RETRY_EXE} apt-get install -y automake pkg-config libtool curl xz-utils git PYTHON_PATH="/python_build" if [ ! -d "${PYTHON_PATH}/bin" ]; then ( - ${CI_RETRY_EXE} git clone https://github.com/pyenv/pyenv.git + ${CI_RETRY_EXE} git clone --depth=1 https://github.com/pyenv/pyenv.git cd pyenv/plugins/python-build || exit 1 ./install.sh ) |