view .arch-inventory @ 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 7cb1d5f71446
children
line wrap: on
line source

# Generated files
precious ^(config\.status|config\.cache)$

# Install-in-place makes these directories, so just ignore them
backup ^(bin|data|lock|site-lisp)$

# arch-tag: 6eeeaa4e-cc7e-4b22-b3d7-1089e155da14