check-configs: Check configurations without CONFIG_DEBUG, too

diff --git a/debug/check-configs b/debug/check-configs
index d796c429d2275961dc6dbf4c324876b3305c0679..81cdc2aff3c95c2605bea4f7c77abff9a75c8a9b 100755 (executable)
--- a/debug/check-configs
+++ b/debug/check-configs
@@ -51,7 +51,8 @@ if [ "$1" == DARWIN ] ; then
 elif [ -n "$1" ] ; then
        try "$@"
 else
-       try default.cfg
+       try default.cfg                                                                 # default configuration
+       try default.cfg -CONFIG_DEBUG                                                   # with no debugging code
        try debug/default.cfg                                                           # debugging configuration
        try debug/default.cfg -CONFIG_UCW_THREADS                                       # non-threaded configuration
        try debug/default.cfg -CONFIG_UCW_TLS                                           # threaded, but no TLS support in gcc