diff options
author | Dave Davenport <qball@gmpclient.org> | 2017-03-28 20:12:22 +0200 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2017-03-28 20:12:22 +0200 |
commit | 3fab20b45e3eebc7366bc18056b475d2985e6da5 (patch) | |
tree | 86cb84d80c748dc4e21edc7db77b117f1020fc34 | |
parent | 8c345273ffa84f1078c0e837eb9fe8f29fc5a119 (diff) |
Add more debug to configure.ac
-rw-r--r-- | configure.ac | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 7d982ef2..1b027d2e 100644 --- a/configure.ac +++ b/configure.ac @@ -141,6 +141,16 @@ echo "Window Switcher dialog Enabled" else echo "Window Switcher dialog Disabled" fi +if test x$enable_asan = xyes; then +echo "Asan address sanitize Enabled" +else +echo "Asan address sanitize Disabled" +fi +if test x$enable_gcov = xyes; then +echo "Code Coverage Enabled" +else +echo "Code Coverage Disabled" +fi echo "-------------------------------------" echo "Now type 'make' to build" echo "" |