From 09413faa188070e9f484099f30f69eed31ab82e2 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Fri, 17 Jun 2016 20:22:24 -0700
Subject: 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.
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

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
 
 #
-- 
cgit v1.2.3