diff Makefile @ 19424:5df27eeec3bf

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