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 /configure.ac | |
| parent | 8c345273ffa84f1078c0e837eb9fe8f29fc5a119 (diff) | |
Add more debug to configure.ac
Diffstat (limited 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 "" |