Details | Compare with Previous | View Log
# /bin/cc is less than useful for our purposes. Always use GCC
CC = /bin/gcc