diff options
author | khilman <khilman@users.noreply.github.com> | 2018-01-24 08:58:57 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-24 08:58:57 -0800 |
commit | f14d69b382978069321acdec9a434ca85ac137da (patch) | |
tree | 90cdd4df15614ffe022778f986d551a63959712e /lavalab-gen.py | |
parent | 736fc3248108069d9f7d98fadc436aad3732dfab (diff) | |
parent | c856c35e30f4465f8d14834d672a0dcbf06567fb (diff) |
Merge pull request #13 from montjoie/bugfix
Bugfix
Diffstat (limited to 'lavalab-gen.py')
-rwxr-xr-x | lavalab-gen.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lavalab-gen.py b/lavalab-gen.py index a584a1f..64a4b0b 100755 --- a/lavalab-gen.py +++ b/lavalab-gen.py @@ -78,6 +78,9 @@ def main(args): if not os.path.isdir("lava-slave/conmux/"): os.mkdir("lava-slave/conmux/") + # board specific hacks + if devicetype == "qemu": + device_line += "{% set no_kvm = True %}\n" if not os.path.isdir("lava-master/devices/"): os.mkdir("lava-master/devices/") device_path = "lava-master/devices/%s" % lab_name |