Disable debug symbols for production builds.

diff --git a/configure.ac b/configure.ac
index 30098305ff4cb1b672692050a3a4617a06608337..664cf215c0857cca83158e76618f4fcf105914ef 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -472,7 +472,7 @@ case "$with_build" in
     FLAG_VISIBILITY_HIDDEN='-fvisibility=hidden'
     if test -z "${OPTLEVEL+set}"            ; then OPTLEVEL=3                       ; fi
     if test -z "${enable_optimized+set}"    ; then enable_optimized=yes             ; fi
-    if test -z "${enable_debug_symbols+set}"; then enable_debug_symbols=yes         ; fi
+    if test -z "${enable_debug_symbols+set}"; then enable_debug_symbols=no          ; fi
     if test -z "${enable_statistics+set}"   ; then enable_statistics=yes            ; fi
     if test -z "${enable_replay+set}"       ; then enable_replay=no                 ; fi
     if test -z "${enable_assertions+set}"   ; then enable_assertions=no             ; fi