diff options
author | Remi Collet <remi@remirepo.net> | 2024-03-05 12:19:35 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2024-03-05 12:19:35 +0100 |
commit | 0964fc56bc9dac059345e85f18f21160beca92a8 (patch) | |
tree | 13f2c240f6d2defcc7024f445a0c5ab1e6ee7057 /makesrc.sh | |
parent | 04e4cfbfc653ffd903a4deca901b2ffbe27ab382 (diff) |
update to 10.1.12
Diffstat (limited to 'makesrc.sh')
-rwxr-xr-x | makesrc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -17,7 +17,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 https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 echo "Getting commit..." pushd $PROJECT-$COMMIT |