diff options
| author |   Romain Forlot <romain.forlot@iot.bzh> | 2018-08-08 10:24:35 +0200 |
|---|---|---|
| committer | Romain Forlot <romain.forlot@iot.bzh> | 2018-08-08 10:26:06 +0200 |
| commit | 70cf8fdb919aae05088346804436f6df8ce7019d (patch) | |
| tree | 0b36db310dfa9ba6921f2d247c02cf744a7f2090 /gendocs.sh | |
| parent | 3c99b8a2cb7b784dcb5f23aa63345d60bfe9952d (diff) | |
Missing flag for COVERAGE build type
Change-Id: Icebe1850e5949c277722ac83958f73c0eed493c7
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'gendocs.sh')
0 files changed, 0 insertions, 0 deletions