configs: Fixup some CPSW-related items

[u-boot] / Makefile

diff --git a/Makefile b/Makefile
index bfe115cf18de0e2b2460f5435404c995cdea8952..9eb7e5bf34d8e2173b1f31efbd70d389a60639ca 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -725,6 +725,12 @@ else
 PLATFORM_LIBGCC := -L $(shell dirname `$(CC) $(c_flags) -print-libgcc-file-name`) -lgcc
 endif
 PLATFORM_LIBS += $(PLATFORM_LIBGCC)
+
+ifdef CONFIG_CC_COVERAGE
+KBUILD_CFLAGS += --coverage
+PLATFORM_LIBGCC += -lgcov
+endif
+
 export PLATFORM_LIBS
 export PLATFORM_LIBGCC