mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-16 13:01:19 +02:00
Merge e78c33131b into merged_master (Bitcoin PR #16114)
This commit is contained in:
commit
ec4b5848bb
1 changed files with 1 additions and 1 deletions
|
|
@ -7,7 +7,7 @@ import sys
|
|||
|
||||
def setup():
|
||||
global args, workdir
|
||||
programs = ['ruby', 'git', 'make', 'wget']
|
||||
programs = ['ruby', 'git', 'make', 'wget', 'curl']
|
||||
if args.kvm:
|
||||
programs += ['apt-cacher-ng', 'python-vm-builder', 'qemu-kvm', 'qemu-utils']
|
||||
elif args.docker and not os.path.isfile('/lib/systemd/system/docker.service'):
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue