diff Makefile @ 27263:24a020de8484

Replace output redirection with grep by POSIX standard options.
author diego
date Wed, 16 Jul 2008 15:38:06 +0000
parents 9cbd4395dfca
children 38d837e668fb
line wrap: on
line diff