Rename EXTRA_DEBUGGING to CONFIG_EXTRA_DEBUGGING.

* configure: Generate #define CONFIG_EXTRA_DEBUGGING 1 in
config.h header, rather than EXTRA_DEBUGGING.

* gc.c, gc.h, hash.c: Change references to EXTRA_DEBUGGING
preprocessor symbol to CONFIG_EXTRA_DEBUGGING.

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
 
 #