diff options
| author |   Corentin LABBE <clabbe@baylibre.com> | 2019-04-03 11:42:28 +0200 |
|---|---|---|
| committer | Corentin LABBE <clabbe@baylibre.com> | 2019-04-03 11:42:28 +0200 |
| commit | 14e3c762e575d8742b39799018913e7d944111b6 (patch) | |
| tree | bd12f4a94330cbd3c75faa952b687b6a10e2bc5a /boards.yaml.example | |
| parent | a8bbe0d9f99824c2faff228a50a1a4830c227b9c (diff) | |
lava-master: fix the applying of patchs against LAVA
Lava patch which contains device-type changes are ignored since final
device-types are already in /etc/lava-server/device-types/
So for fixing this, we apply lava-patch before device-type patch and
synchronize them.
Diffstat (limited to 'boards.yaml.example')
0 files changed, 0 insertions, 0 deletions