mirror of
https://github.com/f-droid/fdroidserver.git
synced 2025-10-06 01:11:07 +03:00
Bump build-tools version
This commit is contained in:
parent
fa7b9690ec
commit
426d85d0b8
1 changed files with 1 additions and 1 deletions
|
@ -32,7 +32,7 @@ end
|
||||||
script "add_build_tools" do
|
script "add_build_tools" do
|
||||||
interpreter "bash"
|
interpreter "bash"
|
||||||
user user
|
user user
|
||||||
ver = "19.0.2"
|
ver = "19.0.3"
|
||||||
cwd "/tmp"
|
cwd "/tmp"
|
||||||
code "
|
code "
|
||||||
if [ -f /vagrant/cache/build-tools/#{ver}.tar.gz ] ; then
|
if [ -f /vagrant/cache/build-tools/#{ver}.tar.gz ] ; then
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue