[pve-devel] Kernel-3.10 - Fix Makefile to allow compiling with other gcc version

[mir at datanom.net]

This patch enables builders to use any gcc version if desired.

make without options will require and check for gcc-4.7.2
make with option CC will use this version

Default: make
Alternative: make CC=gcc-4.8


----

This mail was virus scanned and spam checked before delivery.
This mail is also DKIM signed. See header dkim-signature.