diff TOOLS/checktree.sh @ 23688:3454aed9d083

Add equivalent of -Wno-pointer-sign for icc
author cehoyos
date Mon, 02 Jul 2007 22:02:59 +0000
parents 0e8285c7b2fa
children 91ccac9cc015
line wrap: on
line diff