diff options
| author | Remi Collet <remi@remirepo.net> | 2024-01-19 09:38:00 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2024-01-19 09:38:00 +0100 |
| commit | 69cdb92347cbc932d2dcb69ba7aa8b0eeba90d5e (patch) | |
| tree | b61dbe77c33fd08e6bea85760b06985a82e79f6a /makesrc.sh | |
| parent | 26da0e3e46f1b5811e99912598ce2499c46a965d (diff) | |
update to 10.5.8
Diffstat (limited to 'makesrc.sh')
| -rwxr-xr-x | makesrc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -15,7 +15,7 @@ else echo "Cloning..." rm -rf $PROJECT-$COMMIT - git clone --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 + git clone --jobs 8 https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 echo "Getting commit..." pushd $PROJECT-$COMMIT |