diff options
| author | Juha Tukkinen <jtukkinen@nvidia.com> | 2012-09-10 17:01:18 +0300 |
|---|---|---|
| committer | Dan Willemsen <dwillemsen@nvidia.com> | 2013-09-14 12:33:57 -0700 |
| commit | 319722facf7f34e386f79347dc54501b5885c172 (patch) | |
| tree | 4f5d4d2cf282cec3f66ce407ddb74ad18f031c87 /drivers/pinctrl/Makefile | |
| parent | 8a7cf650af593d25ee0ef47db758ea02b736f4e7 (diff) | |
pinctrl: Add GCOV_PROFILE
Include pinctrl in GCOV profiling when enabled by defconfig.
Change-Id: I978515db3196e81e024450e08c9dcffd24277047
Signed-off-by: Juha Tukkinen <jtukkinen@nvidia.com>
Reviewed-on: http://git-master/r/131128
Reviewed-by: Automatic_Commit_Validation_User
GVS: Gerrit_Virtual_Submit
Reviewed-by: Terje Bergstrom <tbergstrom@nvidia.com>
Rebase-Id: R9d4b954bedf21097c2df028cff5e3d54b9c38ca9
Diffstat (limited to 'drivers/pinctrl/Makefile')
| -rw-r--r-- | drivers/pinctrl/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/pinctrl/Makefile b/drivers/pinctrl/Makefile index 9bdaeb8785ce..fc5a4c249087 100644 --- a/drivers/pinctrl/Makefile +++ b/drivers/pinctrl/Makefile @@ -1,4 +1,5 @@ # generic pinmux support +GCOV_PROFILE := y ccflags-$(CONFIG_DEBUG_PINCTRL) += -DDEBUG |