diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-03-17 08:50:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-17 08:50:21 +0100 |
| commit | 201d2d7226ba4d385ac26e3cfaada180c2a7dacb (patch) | |
| tree | 9950514ea956cbff6c077ad6355d8e786ed2787e | |
| parent | 389ad7239907b8d7c77a4b1bdca2adceaeff23a6 (diff) | |
| parent | 75308d7a306a0201b110a3a8510253ba7927de66 (diff) | |
Merge pull request #17564 from ShyRed/fixbuild
Open textfile in textmode
| -rw-r--r-- | main/SCsub | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/SCsub b/main/SCsub index dd16437d5c..9eddc4f5b6 100644 --- a/main/SCsub +++ b/main/SCsub @@ -74,7 +74,7 @@ def make_default_controller_mappings(target, source, env): platform_mappings = OrderedDict() for src in source: src_path = src.srcnode().abspath - with open(src_path, "rb") as f: + with open(src_path, "r") as f: # read mapping file and skip header mapping_file_lines = f.readlines()[2:] |