raspberrypi/linux — pull request #483 by daniel-santos (2014-01-04 06:51:24+00:00)
Title: Change EXTRA_CFLAGS to ccflags-y in Makefiles

For https://github.com/raspberrypi/linux/issues/481

This is my first pull request for such a large project, so I hope I've done it right. :)