diff options
author | Jason Rumney <jasonr@gnu.org> | 2008-07-23 15:41:23 +0000 |
---|---|---|
committer | Jason Rumney <jasonr@gnu.org> | 2008-07-23 15:41:23 +0000 |
commit | 75663c75e0b1f07539c0b296405f707edb30c7a2 (patch) | |
tree | 8de710a5515e7063f1d70edcc68e9b9660e3bade /nt/configure.bat | |
parent | 4b1355037a72c74a0711193d8ef9555bdb728772 (diff) | |
download | emacs-75663c75e0b1f07539c0b296405f707edb30c7a2.tar.gz |
* configure.bat: New option --profile.
* gmake.defs: Set cflags and ldflags for profiling when specified.
Diffstat (limited to 'nt/configure.bat')
-rwxr-xr-x | nt/configure.bat | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/nt/configure.bat b/nt/configure.bat index 3dd9a7fcc24..f99f0b284f4 100755 --- a/nt/configure.bat +++ b/nt/configure.bat @@ -80,6 +80,7 @@ rem Default settings. set prefix=
set nodebug=N
set noopt=N
+set profile=N
set nocygwin=N
set COMPILER=
set usercflags=
@@ -99,6 +100,7 @@ if "%1" == "--with-gcc" goto withgcc if "%1" == "--with-msvc" goto withmsvc
if "%1" == "--no-debug" goto nodebug
if "%1" == "--no-opt" goto noopt
+if "%1" == "--profile" goto profile
if "%1" == "--no-cygwin" goto nocygwin
if "%1" == "--cflags" goto usercflags
if "%1" == "--ldflags" goto userldflags
@@ -116,6 +118,7 @@ echo. --with-gcc use GCC to compile Emacs echo. --with-msvc use MSVC to compile Emacs
echo. --no-debug exclude debug info from executables
echo. --no-opt disable optimization
+echo. --profile enable profiling
echo. --no-cygwin use -mno-cygwin option with GCC
echo. --cflags FLAG pass FLAG to compiler
echo. --ldflags FLAG pass FLAG to compiler when linking
@@ -152,6 +155,11 @@ set noopt=Y shift
goto again
rem ----------------------------------------------------------------------
+:profile
+set profile=Y
+shift
+goto again
+rem ----------------------------------------------------------------------
:nocygwin
set nocygwin=Y
shift
@@ -492,6 +500,7 @@ if not "(%mf%)" == "()" echo MCPU_FLAG=%mf%>>config.settings if not "(%dbginfo%)" == "()" echo DEBUG_INFO=%dbginfo%>>config.settings
if (%nodebug%) == (Y) echo NODEBUG=1 >>config.settings
if (%noopt%) == (Y) echo NOOPT=1 >>config.settings
+if (%profile%) == (Y) echo PROFILE=1 >>config.settings
if (%nocygwin%) == (Y) echo NOCYGWIN=1 >>config.settings
if not "(%prefix%)" == "()" echo INSTALL_DIR=%prefix%>>config.settings
rem We go thru docflags because usercflags could be "-DFOO=bar" -something
@@ -619,6 +628,7 @@ set $foo$= set prefix=
set nodebug=
set noopt=
+set profile=
set nocygwin=
set COMPILER=
set MAKECMD=
|