diff configure.in @ 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 d89afa2b4c2f
children 10d82debd64e
line wrap: on
line diff