rename DEBUG_EXEC to CONFIG_DEBUG_EXEC

Signed-off-by: Juan Quintela <quintela@redhat.com>
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>

1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index abbe5c0a17..e6fba39ced 100755
--- a/configure
+++ b/configure
@@ -1522,7 +1522,7 @@ if test "$debug_tcg" = "yes" ; then
   echo "#define CONFIG_DEBUG_TCG 1" >> $config_host_h
 fi
 if test "$debug" = "yes" ; then
-  echo "#define DEBUG_EXEC 1" >> $config_host_h
+  echo "#define CONFIG_DEBUG_EXEC 1" >> $config_host_h
 fi
 if test "$strip_opt" = "yes" ; then
   echo "STRIP_OPT=-s" >> $config_host_mak