diff INSTALL @ 96938:beacc13fd3df

* configure.bat: New option --profile. * gmake.defs: Set cflags and ldflags for profiling when specified.
author Jason Rumney <jasonr@gnu.org>
date Wed, 23 Jul 2008 15:41:23 +0000
parents 4c54351326e0
children 9592c50233ab
line wrap: on
line diff