summaryrefslogtreecommitdiffstats
path: root/coverage/Makefile
diff options
context:
space:
mode:
authorJosé Bollo <jose.bollo@iot.bzh>2018-07-05 17:17:35 +0200
committerJosé Bollo <jose.bollo@iot.bzh>2018-07-05 19:17:11 +0200
commit75526aa1e85a8bacb50e917971010d06137a3610 (patch)
tree33adc0e2410d8af36148a2901c0a20000e0cdaf5 /coverage/Makefile
parent0d05349094ced7eeb487e572beb90fa44dd2ebe0 (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