diff options
author | 2018-07-05 17:17:35 +0200 | |
---|---|---|
committer | 2018-07-05 19:17:11 +0200 | |
commit | 75526aa1e85a8bacb50e917971010d06137a3610 (patch) | |
tree | 33adc0e2410d8af36148a2901c0a20000e0cdaf5 /docs | |
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 'docs')
0 files changed, 0 insertions, 0 deletions