diff TOOLS/checktree.sh @ 17523:f0e7712385dc

Move conditional compilation out of the code and into the build system.
author diego
date Tue, 31 Jan 2006 23:36:12 +0000
parents 80d3fdcf58a8
children edffd6f8a022
line wrap: on
line diff