diff options
| author |   José Bollo <jose.bollo@iot.bzh> | 2018-07-05 17:17:35 +0200 |
|---|---|---|
| committer | José Bollo <jose.bollo@iot.bzh> | 2018-07-05 19:17:11 +0200 |
| commit | 75526aa1e85a8bacb50e917971010d06137a3610 (patch) | |
| tree | 33adc0e2410d8af36148a2901c0a20000e0cdaf5 /coverage/Makefile | |
| parent | 0d05349094ced7eeb487e572beb90fa44dd2ebe0 (diff) | |
supervision: Exclude conditionaly the supervision
Exclude from the binder the part related to the supervision
when the supervisor is excluded from the build.
Change-Id: I41193122d63e47b9f0db7f113f88d2d63b783027
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Diffstat (limited to 'coverage/Makefile')
0 files changed, 0 insertions, 0 deletions