diff make/linux/Makefile @ 12704:0e998f0daddf

Code cache: make sure we collect statistics even if the compiler is not recognized
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 07 Nov 2013 11:17:23 +0100
parents 43223d3f5dcd
children b51e29501f30 52b4284cb496
line wrap: on
line diff