Delete Makefiles after cmake is generated

DarkaMaul · Aug 1, 2016 · 2183002 · 2183002
1 parent 168ae2a
commit 2183002
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tools/makefiles.py b/tools/makefiles.py
@@ -43,6 +43,9 @@ def generate_cmake(path):
     with open(cmake_path, 'w') as f:
         f.write(cmake)
 
+    # Delete the now unused Makefile
+    os.remove(path)
+
 
 def main():
     makefiles = glob.glob(os.path.join(CHAL_DIR, '*', 'Makefile'))