diff options
| author | Juanma Barranquero <lekktu@gmail.com> | 2009-09-14 23:00:52 +0000 |
|---|---|---|
| committer | Juanma Barranquero <lekktu@gmail.com> | 2009-09-14 23:00:52 +0000 |
| commit | 6afbd77d5f39560bf23cf370efdb3d62b072a1b4 (patch) | |
| tree | b4780b77c3c8b931c8cf1d058e346e963b30ee31 /nt/configure.bat | |
| parent | fb69c67a36cb0e1db412bd79f347e3bc2e4305b3 (diff) | |
| download | emacs-6afbd77d5f39560bf23cf370efdb3d62b072a1b4.tar.gz | |
* configure.bat: Add #define PROFILING to config.h.
Diffstat (limited to 'nt/configure.bat')
| -rwxr-xr-x | nt/configure.bat | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nt/configure.bat b/nt/configure.bat index 56b8570908f..87b0a1bf501 100755 --- a/nt/configure.bat +++ b/nt/configure.bat @@ -546,6 +546,7 @@ echo. >>config.tmp echo /* Start of settings from configure.bat. */ >>config.tmp
if (%docflags%) == (Y) echo #define USER_CFLAGS " %usercflags%">>config.tmp
if (%doldflags%) == (Y) echo #define USER_LDFLAGS " %userldflags%">>config.tmp
+if (%profile%) == (Y) echo #define PROFILING 1 >>config.tmp
if not "(%HAVE_PNG%)" == "()" echo #define HAVE_PNG 1 >>config.tmp
if not "(%HAVE_JPEG%)" == "()" echo #define HAVE_JPEG 1 >>config.tmp
if not "(%HAVE_GIF%)" == "()" echo #define HAVE_GIF 1 >>config.tmp
|