Welcome! Log In Create A New Profile

Advanced

[njs] Splitting debug and debug-memory configure options.

Dmitry Volyntsev
August 27, 2020 10:46AM
details: https://hg.nginx.org/njs/rev/6f561e3d947e
branches:
changeset: 1508:6f561e3d947e
user: Dmitry Volyntsev <xeioex@nginx.com>
date: Thu Aug 27 14:43:22 2020 +0000
description:
Splitting debug and debug-memory configure options.

diffstat:

auto/cc | 4 +++-
auto/help | 2 ++
auto/options | 2 ++
3 files changed, 7 insertions(+), 1 deletions(-)

diffs (46 lines):

diff -r da7d4c125a9c -r 6f561e3d947e auto/cc
--- a/auto/cc Thu Aug 27 14:43:19 2020 +0000
+++ b/auto/cc Thu Aug 27 14:43:22 2020 +0000
@@ -170,8 +170,10 @@ case $NJS_CC_NAME in
esac

if [ "$NJS_DEBUG" = "YES" ]; then
- NJS_CC_OPT="$NJS_CC_OPT -O0"
njs_define=NJS_DEBUG . auto/define
+fi
+
+if [ "$NJS_DEBUG_MEMORY" = "YES" ]; then
njs_define=NJS_DEBUG_MEMORY . auto/define
fi

diff -r da7d4c125a9c -r 6f561e3d947e auto/help
--- a/auto/help Thu Aug 27 14:43:19 2020 +0000
+++ b/auto/help Thu Aug 27 14:43:22 2020 +0000
@@ -16,6 +16,8 @@ default: "$NJS_LD_OPT"

--debug=YES enables additional runtime checks, \
default: "$NJS_DEBUG"
+ --debug-memory=YES enables memory alloc debug, \
+default: "$NJS_DEBUG_MEMORY"
--address-sanitizer=YES enables build with address sanitizer, \
default: "$NJS_ADDRESS_SANITIZER"
END
diff -r da7d4c125a9c -r 6f561e3d947e auto/options
--- a/auto/options Thu Aug 27 14:43:19 2020 +0000
+++ b/auto/options Thu Aug 27 14:43:22 2020 +0000
@@ -7,6 +7,7 @@ NJS_CC_OPT=${NJS_CC_OPT:--O}
NJS_LD_OPT=${NJS_CC_OPT:--O}

NJS_DEBUG=NO
+NJS_DEBUG_MEMORY=NO
NJS_ADDRESS_SANITIZER=NO

NJS_CONFIGURE_OPTIONS=
@@ -25,6 +26,7 @@ do
--ar=*) AR="$value" ;;

--debug=*) NJS_DEBUG="$value" ;;
+ --debug-memory=*) NJS_DEBUG_MEMORY="$value" ;;
--address-sanitizer=*) NJS_ADDRESS_SANITIZER="$value" ;;

--help)
_______________________________________________
nginx-devel mailing list
nginx-devel@nginx.org
http://mailman.nginx.org/mailman/listinfo/nginx-devel
Subject Author Views Posted

[njs] Splitting debug and debug-memory configure options.

Dmitry Volyntsev 457 August 27, 2020 10:46AM



Sorry, you do not have permission to post/reply in this forum.

Online Users

Guests: 278
Record Number of Users: 8 on April 13, 2023
Record Number of Guests: 421 on December 02, 2018
Powered by nginx      Powered by FreeBSD      PHP Powered      Powered by MariaDB      ipv6 ready