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/gc.h b/gc.h
index 27c534f9..2bc51fe6 100644
--- a/gc.h
+++ b/gc.h
@@ -53,7 +53,7 @@ void gc_free_all(void);
 extern int gc_enabled;
 extern val **gc_prot_top;
 
-#if EXTRA_DEBUGGING
+#if CONFIG_EXTRA_DEBUGGING
 extern val break_obj;
 #endif