From e59e668bca7c1fedbe11081d8c6843b085a325c4 Mon Sep 17 00:00:00 2001 From: Dan Nicolaescu Date: Thu, 16 Jul 2009 21:04:18 +0000 Subject: [PATCH] Mention two new ./configure options for developers. --- etc/NEWS | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/etc/NEWS b/etc/NEWS index fb637ced102..f54c86be4e0 100644 --- a/etc/NEWS +++ b/etc/NEWS @@ -45,7 +45,14 @@ Customize make-pointer-invisible to turn it off. ** On MS-Windows, `display-time' now displays the system load average as well as the time, as it does on GNU and Unix. -** FIXME new configure options --enable-checking, profiling + +** configure options for emacs developers +*** --enable-profiling will build emacs with profiling enabled. +This might not work on all platforms. It is not a new feature, just +the configure flag is new. + +*** --enable-checking[=OPTIONS] will build emacs with various extra runtime checks. +It is not a new feature, just the configure flag is new. * Changes in Specialized Modes and Packages in Emacs 23.2 -- 2.39.2