diff TOOLS/Makefile @ 19424:5df27eeec3bf

Rename gcc_checking variable to gcc_check.
author diego
date Thu, 17 Aug 2006 23:40:11 +0000
parents 64d82a45a05d
children b4c865e17155
line wrap: on
line diff