Kill config.mk (fixes #456)

1 files changed, 0 insertions, 9 deletions

diff --git a/configure b/configure
index a38c587d69..e8f880b543 100755
--- a/configure
+++ b/configure
@@ -133,12 +133,3 @@ if __name__ == '__main__':
 
   write('config.gypi', "# Do not edit. Generated by the configure script.\n" +
     pprint.pformat(output, indent=2) + "\n")
-
-  config = {
-    'BUILDTYPE': 'Debug' if options.debug else 'Release',
-    'PYTHON': sys.executable,
-  }
-  config = '\n'.join(map('='.join, config.iteritems())) + '\n'
-
-  write('config.mk',
-        '# Do not edit. Generated by the configure script.\n' + config)