diff etc/nxml/00100-0017F.el @ 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 c27407fe0a4b
children ef719132ddfa
line wrap: on
line diff