diff TOOLS/checktree.sh @ 19553:b3cc74e28541

Only add include flags if cc_check succeeded.
author diego
date Sun, 27 Aug 2006 21:05:42 +0000
parents e5ec659ec1c6
children 97fbe96274c3
line wrap: on
line diff