tree b63e4c28baeec74913e3485ca68e299ed847f503
parent 9b0d3e91b0b5c02865df79e368b404fa02b65138
author Alexander Afanasyev <alexander.afanasyev@ucla.edu> 1392610807 -0800
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> 1392610807 -0800

build: Add coverage.py tool that introduces --with-coverage configure option

Change-Id: I1c6eeb71c734ef8b37e06cc5ac3d0b40aef492da