From 8925d9dec04a30ec65098631fae835f69f34354f Mon Sep 17 00:00:00 2001
From: Daniel Verkamp <daniel.verkamp@intel.com>
Date: Tue, 8 Dec 2015 16:25:08 -0700
Subject: [PATCH] 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>
---
 CONFIG | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONFIG b/CONFIG
index 0f3412452..65841bf04 100644
--- a/CONFIG
+++ b/CONFIG
@@ -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