| Index: tools/generate_library_loader/generate_library_loader.py
|
| diff --git a/tools/generate_library_loader/generate_library_loader.py b/tools/generate_library_loader/generate_library_loader.py
|
| index edf0706a76a8d56301ba07f7f67f11781edf24a1..a9312e8d4406abe0dd108ee9903b20bbcb1db35d 100755
|
| --- a/tools/generate_library_loader/generate_library_loader.py
|
| +++ b/tools/generate_library_loader/generate_library_loader.py
|
| @@ -190,7 +190,7 @@ def main():
|
| 'unique_prefix': unique_prefix
|
| })
|
|
|
| - wrapped_header_include = '#include %s' % options.header
|
| + wrapped_header_include = '#include %s\n' % options.header
|
|
|
| # Some libraries (e.g. libpci) have headers that cannot be included
|
| # without extern "C", otherwise they cause the link to fail.
|
|
|