1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 9e6e0ac1..2580ff4c 100755
--- a/configure
+++ b/configure
@@ -2655,7 +2655,7 @@ fi
 
 if [ -n "$extra_debugging" ] ; then
   printf "Configuring extra debugging, as requested ...\n"
-  printf "#define EXTRA_DEBUGGING 1\n" >> $config_h
+  printf "#define CONFIG_EXTRA_DEBUGGING 1\n" >> $config_h
 fi
 
 #