diff options
| author | googol42 | 2022-05-14 09:30:50 +0200 |
|---|---|---|
| committer | googol42 | 2022-05-14 09:30:50 +0200 |
| commit | 18771a33b527c10b8812a19db70cbc9db3c87d40 (patch) | |
| tree | 50984d207bcc78b86a3dbcafd27cca085ff24add | |
| parent | da76214c47397e2c87648fedae73b4d472269115 (diff) | |
| download | aur-18771a33b527c10b8812a19db70cbc9db3c87d40.tar.gz | |
clean up local folder after pushing a new version
| -rwxr-xr-x | check-and-update-new-version.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/check-and-update-new-version.sh b/check-and-update-new-version.sh index 5b71dcdb8f6b..18db62f5a46e 100755 --- a/check-and-update-new-version.sh +++ b/check-and-update-new-version.sh @@ -17,3 +17,5 @@ git push echo $currentVersion > lastVersion +rm "mkgmap-r${currentVersion}.zip" + |