diff TOOLS/checktree.sh @ 23764:cd8985396f48

Let us not pretend to be checking for devfs when we are not.
author diego
date Sat, 14 Jul 2007 15:16:34 +0000
parents 0e8285c7b2fa
children 91ccac9cc015
line wrap: on
line diff