tool: use ccache in gccx, if available
[nit.git] / src / valgrind.sh
2010-06-24 Jean Privattools: add a valgrind helper script