summaryrefslogtreecommitdiffstats
path: root/docs/dev_guide
diff options
context:
space:
mode:
authorRomain Forlot <romain.forlot@iot.bzh>2018-07-03 17:35:17 +0200
committerRomain Forlot <romain.forlot@iot.bzh>2018-07-04 12:43:12 +0200
commit22a2cbfd2e36653c9de3b8a7a63e5f50f223419c (patch)
treec05aab2c0733673141ed496839acd5acbbd8a733 /docs/dev_guide
parentaa68dbd12c60f9eb0015a508a22d8650914f8e5e (diff)
Clearer coverage compilation options configuration
Rename CCOV to COVERAGE to make it more clearer which compilation profile use and add a suffix to the built widget name except for the RELEASE built type which output the normal name. Change-Id: Ied0dfb47c25402c4146ebb190d65d17cff9ec360 Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'docs/dev_guide')
0 files changed, 0 insertions, 0 deletions