diff TOOLS/checktree.sh @ 28885:e375263bd10b

Ensure the string we're trying to compare is actually not NULL.
author ben
date Mon, 09 Mar 2009 20:31:03 +0000
parents abd0a4e9daa0
children 92d75e703bc0
line wrap: on
line diff