mirror of
https://gitlab.com/fdroid/fdroidserver.git
synced 2024-10-05 18:50:09 +02:00
Merge branch 'obfusk-master-patch-10564' into 'master'
use vagrantfile instead of 'builder/Vagrantfile' in get_clean_builder() See merge request fdroid/fdroidserver!881
This commit is contained in:
commit
757d423c07
@ -41,7 +41,7 @@ def get_clean_builder(serverdir):
|
|||||||
os.makedirs(serverdir)
|
os.makedirs(serverdir)
|
||||||
vagrantfile = os.path.join(serverdir, 'Vagrantfile')
|
vagrantfile = os.path.join(serverdir, 'Vagrantfile')
|
||||||
if not os.path.isfile(vagrantfile):
|
if not os.path.isfile(vagrantfile):
|
||||||
with open(os.path.join('builder', 'Vagrantfile'), 'w') as f:
|
with open(vagrantfile, 'w') as f:
|
||||||
f.write(textwrap.dedent("""\
|
f.write(textwrap.dedent("""\
|
||||||
# generated file, do not change.
|
# generated file, do not change.
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user