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. |