Clone of official tools
Diff: test.py
- 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: