diff options
author | Remi Collet <remi@remirepo.net> | 2022-10-25 14:58:26 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2022-10-25 14:58:26 +0200 |
commit | 2460a5e54dd55b07d198e90de595f974d3cd4224 (patch) | |
tree | 485a377b1dfc6878bf64f11cfc77d1d409b83246 /makesrc.sh | |
parent | 767c410147a8655785e89add954b0ba56c714f32 (diff) |
update to 6.5.2
Diffstat (limited to 'makesrc.sh')
-rwxr-xr-x | makesrc.sh | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -10,6 +10,7 @@ SHORT=${COMMIT:0:7} echo -e "\nCreate git snapshot\nName=$NAME, Owner=$OWNER, Project=$PROJECT, Version=$VERSION, Commit=$COMMIT\n" echo "Cloning..." +rm -rf $HOME/.cache/bartlett git clone https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT echo "Getting commit..." @@ -32,6 +33,7 @@ tar czf $NAME-$VERSION-$SHORT.tgz --exclude-vcs $PROJECT-$COMMIT echo "Cleaning..." rm -rf $PROJECT-$COMMIT +rm -rf $HOME/.cache/bartlett echo "Done." |