X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=61d5ae7857583e9d8797f57ce04bc47275fc66d9;hb=db574d2c888401a4463a2c6b4923a335dd367642;hp=93395f1809fe3c7a3e2f78e945e775867bd57ffc;hpb=7c56b7a982761bd1a88cb486ee66fef992d8b8a7;p=pspp

diff --git a/configure.ac b/configure.ac
index 93395f1809..61d5ae7857 100644
--- a/configure.ac
+++ b/configure.ac
@@ -286,14 +286,6 @@ AC_CHECK_FUNCS([__setfpucw fork execl isinf isnan finite getpid feholdexcept fps
 
 AC_PROG_LN_S
 
-AC_ARG_ENABLE(
-  debug,
-  [AS_HELP_STRING([--enable-debug],
-                  [Turn on diagnostic features in the program])])
-if test x"$enable_debug" = x"yes"  ; then
-  AC_DEFINE(DEBUGGING, 1, [Define to 1 if debugging is enabled.])
-fi
-
 # iconv is required
 AM_ICONV
 if test "$am_cv_func_iconv" != "yes"; then