Clone of official tools
Diff: test.py
- Revision:
- 30:f12ce67666d0
- Parent:
- 29:1210849dba19
- Child:
- 31:8ea194f6145b
--- 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: