From 97c35edea2ca67a06ba66f124b94ea62f0519def Mon Sep 17 00:00:00 2001 From: crupest Date: Tue, 13 Nov 2018 17:12:03 +0800 Subject: Update scripts. --- tools/cppmerge/main.py | 1 + 1 file changed, 1 insertion(+) (limited to 'tools/cppmerge') 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") -- cgit v1.2.3