build: allow overriding CONFIG_COVERAGE

Make the CONFIG_COVERAGE definition in CONFIG consistent with the other
ones using ?=.

Change-Id: I5994b936eebf80dfff9733d38c842c4bb214c591
Signed-off-by: Daniel Verkamp <daniel.verkamp@intel.com>
This commit is contained in:
Daniel Verkamp 2015-12-08 16:25:08 -07:00
parent 8acae77e42
commit 8925d9dec0

2
CONFIG
View File

@ -35,7 +35,7 @@
CONFIG_DEBUG?=n
# Build with code coverage instrumentation.
CONFIG_COVERAGE=n
CONFIG_COVERAGE?=n
# This directory should contain 'include' and 'lib' directories for your DPDK
# installation. Alternatively you can specify this on the command line