comparison TOOLS/checktree.sh @ 26772:e60dfd4ffeae

There is no need to ignore errors from 'rm -f' commands.
author diego
date Sun, 18 May 2008 14:23:45 +0000
parents e60a367eb80e
children abd0a4e9daa0
comparison
equal deleted inserted replaced
26771:f9a774cf0b63 26772:e60dfd4ffeae