diff options
Diffstat (limited to 'tools/cppmerge/main.py')
| -rw-r--r-- | tools/cppmerge/main.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/cppmerge/main.py b/tools/cppmerge/main.py index 76966a47..6c73ff0d 100644 --- a/tools/cppmerge/main.py +++ b/tools/cppmerge/main.py @@ -133,6 +133,7 @@ output_source_file.write('#include "{}"\n'.format(os.path.basename(output_header for source_path in source_file_list: + source_path = os.path.normpath(source_path) output_source_file.write("//--------------------------------------------------------\n") output_source_file.write("//-------begin of file: {}\n".format(source_path)) output_source_file.write("//--------------------------------------------------------\n") |