make a new autoRaiseDelay value take effect without having to restart

[chaz/openbox] / configure

diff --git a/configure b/configure
index aba5e36854e96779da77b4825dbf20f8c1ffa8f4..8be548a6c2c2367c839fcbd35d625d48fbee8d6c 100644 (file)
--- a/configure
+++ b/configure
@@ -717,7 +717,7 @@ fi
 
 PACKAGE=openbox
 
-VERSION=1.1.0
+VERSION=1.3.0
 
 if test "`cd $srcdir && pwd`" != "`pwd`" && test -f $srcdir/config.status; then
   { echo "configure: error: source directory already configured; run "make distclean" there first" 1>&2; exit 1; }
@@ -2737,7 +2737,7 @@ if test "${enable_debug+set}" = set; then
   enableval="$enable_debug"
   if test x$enableval = "xyes"; then
     echo "$ac_t""yes" 1>&6
-    DEBUG="-DDEBUG"
+    DEBUG="-DDEBUG -Wall -W -pedantic"
   else
     echo "$ac_t""no" 1>&6
   fi