From 917e870a849867985bab0a5e4b89fd475e945f8c Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sat, 18 Feb 2012 13:08:18 +0100
Subject: [PATCH] check-configs: Check configurations without CONFIG_DEBUG, too

---
 debug/check-configs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/debug/check-configs b/debug/check-configs
index d796c429..81cdc2af 100755
--- 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
-- 
2.39.2