From 1e781ec4a7e395c5be95e33972d5e9da146f03f1 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 13 Jul 2017 00:48:11 +0000
Subject: [PATCH] configure.c edited online with Bitbucket

---
 tools/configure.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/configure.c b/tools/configure.c
index dc1f639112c..3fcfbedf4bf 100644
--- a/tools/configure.c
+++ b/tools/configure.c
@@ -874,7 +874,7 @@ static void enable_feature(const char *destconfig, const char *varname)
   int ret;
 
   snprintf(g_buffer, BUFFER_SIZE,
-           "kconfig-tweak --file %s --disable %s",
+           "kconfig-tweak --file %s --enable %s",
            destconfig, varname);
 
   ret = system(g_buffer);