Clone of official tools

Revision:
30:f12ce67666d0
Parent:
29:1210849dba19
Child:
31:8ea194f6145b
diff -r 1210849dba19 -r f12ce67666d0 test.py
--- a/test.py	Mon Aug 29 11:18:36 2016 +0100
+++ b/test.py	Mon Aug 29 11:56:59 2016 +0100
@@ -177,8 +177,7 @@
                                                 macros=options.macros,
                                                 verbose=options.verbose,
                                                 notify=notify,
-                                                archive=False,
-                                                remove_config_header_file=True)
+                                                archive=False)
 
                 library_build_success = True
             except ToolException, e: