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 | f179addc9b51c02bcab6ce2994fe3b0f6fe1fa16 (patch) | |
| tree | 92c19bde768ad807b382a727f987254d7294932a /nt/configure.bat | |
| parent | f804f44622d37e488fdcb18c00d6aac4ba770f51 (diff) | |
| download | emacs-f179addc9b51c02bcab6ce2994fe3b0f6fe1fa16.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
|