diff options
author | Josh Gao <jmgao@google.com> | 2015-11-16 10:44:54 -0800 |
---|---|---|
committer | Josh Gao <jmgao@google.com> | 2015-11-16 10:46:37 -0800 |
commit | 81b7f6547617212ca4803bef270f5d1972d029e1 (patch) | |
tree | a7839c40ed521ed3012c3660f340ea39a458f0bc /ndk-gdb.py | |
parent | a13767e64fa1d48d3f82e236763d95389d68caab (diff) | |
download | ndk-81b7f6547617212ca4803bef270f5d1972d029e1.tar.gz |
ndk-gdb: don't warn when using pretty printer 'none'.
Change-Id: I46c1145b06807d5da3ab490d6905b779a5b9d3a3
Diffstat (limited to 'ndk-gdb.py')
-rwxr-xr-x | ndk-gdb.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ndk-gdb.py b/ndk-gdb.py index 359820954..6d6173013 100755 --- a/ndk-gdb.py +++ b/ndk-gdb.py @@ -545,7 +545,7 @@ def detect_stl_pretty_printer(args): if args.stdcxxpypr == "auto": log("Detected pretty printer: {}".format(detected)) return detected - if detected != args.stdcxxpypr: + if detected != args.stdcxxpypr and args.stdcxxpypr != "none": print("WARNING: detected APP_STL ('{}') does not match pretty printer".format(detected)) log("Using specified pretty printer: {}".format(args.stdcxxpypr)) return args.stdcxxpypr |